MMU_SHORT_PTE_USED
#define MMU_PTE_USED(pte) ((pte).attr.raw & MMU_SHORT_PTE_USED)
if (pte & MMU_SHORT_PTE_USED)
| MMU_SHORT_PTE_USED | MMU_SHORT_PTE_WIRED);
MMU_SHORT_PTE_USED | MMU_SHORT_PTE_WIRED)) {
c_pte->attr.raw |= MMU_SHORT_PTE_USED;
pte->attr.raw &= (MMU_SHORT_PTE_USED|MMU_SHORT_PTE_M);
#define PV_FLAGS_USED MMU_SHORT_PTE_USED