X86_64_PTE_PRESENT
(*pte & X86_64_PTE_PRESENT) == 0,
| X86_64_PTE_PRESENT | (globalPage ? X86_64_PTE_GLOBAL : 0)
ASSERT_PRINT((*entry & X86_64_PTE_PRESENT) == 0,
if ((pageTable[index] & X86_64_PTE_PRESENT) == 0)
if ((oldEntry & X86_64_PTE_PRESENT) == 0)
if ((oldEntry & X86_64_PTE_PRESENT) == 0)
| ((entry & X86_64_PTE_PRESENT) != 0 ? PAGE_PRESENT : 0);
if ((entry & X86_64_PTE_PRESENT) == 0)
if ((oldEntry & X86_64_PTE_PRESENT) == 0) {
if ((virtualPageTable[l] & X86_64_PTE_PRESENT) == 0)