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