PTE_MODIFIED
flags &= ~(PTE_UW | PTE_UX | PTE_SW | PTE_SX | PTE_MODIFIED);
*pte &= ~(PTE_UW | PTE_SW | PTE_MODIFIED);
*pte &= ~(PTE_UW | PTE_SW | PTE_MODIFIED);
if (*pte & (PTE_SW | PTE_UW | PTE_MODIFIED)) {
*pte &= ~(PTE_SW | PTE_UW | PTE_MODIFIED |
#define PTE_ISMODIFIED(pte) ((*pte) & PTE_MODIFIED)