EPT_PTE_PRESENT
| EPT_PTE_PRESENT | EPT_PTE_IGNORE_PAT
ASSERT_PRINT((*entry & EPT_PTE_PRESENT) == 0,
if ((oldEntry & EPT_PTE_PRESENT) == 0)
if ((oldEntry & EPT_PTE_PRESENT) == 0)
| ((entry & EPT_PTE_PRESENT) != 0 ? PAGE_PRESENT : 0);
if ((oldEntry & EPT_PTE_PRESENT) == 0) {