@ -251,7 +251,7 @@ void __boot_clear_page(vm_paddr_t paddr)
pdpte->val = pbase | __P_PRESENT | __P_RW | __P_NOCACHE | __P_HUGE | __P_NOEXEC;
vm_flush();
memset64(vbase + offset, 0, PAGE_SIZE);
pdpe->val = 0;
pdpte->val = old_pdpte.val;
}