X86_PTE_ACCESSED
if ((oldEntry & X86_PTE_ACCESSED) != 0) {
if ((oldEntry & X86_PTE_ACCESSED) != 0) {
(oldEntry & X86_PTE_ACCESSED) != 0,
if ((oldEntry & X86_PTE_ACCESSED) != 0)
if ((oldEntry & X86_PTE_ACCESSED) != 0) {
(oldEntry & X86_PTE_ACCESSED) != 0,
| ((entry & X86_PTE_ACCESSED) != 0 ? PAGE_ACCESSED : 0)
| ((entry & X86_PTE_ACCESSED) != 0 ? PAGE_ACCESSED : 0)
if ((oldEntry & X86_PTE_ACCESSED) != 0) {
| ((flags & PAGE_ACCESSED) ? X86_PTE_ACCESSED : 0);
if (oldEntry & X86_PTE_ACCESSED) {
&pt[index], X86_PTE_ACCESSED | X86_PTE_DIRTY);
X86_PTE_ACCESSED | X86_PTE_DIRTY);
if ((oldEntry & X86_PTE_ACCESSED) != 0) {