PTE_WIRED
flags = PTE_SR | PTE_SW | PTE_SX | PTE_WIRED | PTE_VALID;
flags |= PTE_WIRED;
flags &= ~PTE_WIRED;
flags |= PTE_WIRED;
*pte &= ~PTE_WIRED;
*pte |= PTE_M | PTE_SR | PTE_SW | PTE_SX | PTE_WIRED |
flags = PTE_SR | PTE_SW | PTE_SX | PTE_WIRED | PTE_VALID;
*pte |= PTE_M | PTE_SR | PTE_SW | PTE_SX | PTE_WIRED |
#define PTE_ISWIRED(pte) ((*pte) & PTE_WIRED)