PTE_HARDWIRED
return pte | PTE_HARDWIRED | PTE_WIRED;
return pte & ~(PTE_HARDWIRED | PTE_WIRED);
pte |= PTE_KERN | PTE_HARDWIRED | PTE_WIRED;
l1_pte[sidx] = PA_TO_PTE(spa) | PTE_KERN | PTE_HARDWIRED |
l2_pte[i] = PA_TO_PTE(pa) | PTE_KERN | PTE_HARDWIRED | PTE_RW |