PTE_SR
flags = PTE_SR | PTE_SW | PTE_SX | PTE_WIRED | PTE_VALID;
flags = (PTE_SR | PTE_VALID);
*pte |= PTE_M | PTE_SR | PTE_SW | PTE_SX | PTE_WIRED |
PTE_SR | PTE_VALID, false);
flags = PTE_SR | PTE_SW | PTE_SX | PTE_WIRED | PTE_VALID;
*pte |= PTE_M | PTE_SR | PTE_SW | PTE_SX | PTE_WIRED |