X86_64_PTE_DIRTY
(oldEntry & X86_64_PTE_DIRTY) != 0, updatePageQueue);
if ((oldEntry & X86_64_PTE_DIRTY) != 0)
(oldEntry & X86_64_PTE_DIRTY) != 0,
| ((entry & X86_64_PTE_DIRTY) != 0 ? PAGE_MODIFIED : 0)
uint64 flagsToClear = ((flags & PAGE_MODIFIED) ? X86_64_PTE_DIRTY : 0)
X86_64_PTE_ACCESSED | X86_64_PTE_DIRTY);
X86_64_PTE_ACCESSED | X86_64_PTE_DIRTY);
_modified = (oldEntry & X86_64_PTE_DIRTY) != 0;