MMU_SHORT_PTE_M
#define MMU_PTE_MODIFIED(pte) ((pte).attr.raw & MMU_SHORT_PTE_M)
if (pte & MMU_SHORT_PTE_M)
c_pte->attr.raw &= (MMU_SHORT_PTE_M
if (c_pte->attr.raw & ~(MMU_SHORT_PTE_M |
c_pte->attr.raw |= MMU_SHORT_PTE_M;
pte->attr.raw &= (MMU_SHORT_PTE_USED|MMU_SHORT_PTE_M);
#define PV_FLAGS_MDFY MMU_SHORT_PTE_M