diff --git a/kernel/arch/x86_64/PageTable.cpp b/kernel/arch/x86_64/PageTable.cpp index bc2f4d40..d3c53570 100644 --- a/kernel/arch/x86_64/PageTable.cpp +++ b/kernel/arch/x86_64/PageTable.cpp @@ -580,8 +580,9 @@ namespace Kernel vaddr |= (uint64_t)pdpte << 30; vaddr |= (uint64_t)pde << 21; vaddr |= (uint64_t)pte << 12; + vaddr = canonicalize(vaddr); ASSERT(reserve_page(vaddr)); - return canonicalize(vaddr); + return vaddr; } } }