PTE_SX
flags = PTE_SR | PTE_SW | PTE_SX | PTE_WIRED | PTE_VALID;
flags &= ~(PTE_UW | PTE_UX | PTE_SW | PTE_SX | PTE_MODIFIED);
flags |= PTE_SX;
if ((*pte & (PTE_UX | PTE_SX)) == 0)
flags |= PTE_SX;
*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 |