X86_PTE_DIRTY
(oldEntry & X86_PTE_DIRTY) != 0, updatePageQueue);
if ((oldEntry & X86_PTE_DIRTY) != 0)
(oldEntry & X86_PTE_DIRTY) != 0,
| ((entry & X86_PTE_DIRTY) != 0 ? PAGE_MODIFIED : 0)
| ((entry & X86_PTE_DIRTY) != 0 ? PAGE_MODIFIED : 0)
uint32 flagsToClear = ((flags & PAGE_MODIFIED) ? X86_PTE_DIRTY : 0)
&pt[index], X86_PTE_ACCESSED | X86_PTE_DIRTY);
X86_PTE_ACCESSED | X86_PTE_DIRTY);
_modified = (oldEntry & X86_PTE_DIRTY) != 0;