EPT_PTE_ACCESSED
if ((oldEntry & EPT_PTE_ACCESSED) != 0) {
(oldEntry & EPT_PTE_ACCESSED) != 0,
if ((oldEntry & EPT_PTE_ACCESSED) != 0)
if ((oldEntry & EPT_PTE_ACCESSED) != 0) {
(oldEntry & EPT_PTE_ACCESSED) != 0,
| ((entry & EPT_PTE_ACCESSED) != 0 ? PAGE_ACCESSED : 0)
| ((flags & PAGE_ACCESSED) ? EPT_PTE_ACCESSED : 0);
if (oldEntry & EPT_PTE_ACCESSED) {
EPT_PTE_ACCESSED | EPT_PTE_DIRTY);
EPT_PTE_ACCESSED | EPT_PTE_DIRTY);
if ((oldEntry & EPT_PTE_ACCESSED) != 0) {