PA_TO_PTE
pt_entry_t pte = (pt_entry_t)PA_TO_PTE(pa);
pt_entry_t pte = (pt_entry_t)PA_TO_PTE(pa);
return PTE_V | PA_TO_PTE(pa);
return PTE_V | PA_TO_PTE(pa);
l1_pte[sidx] = PA_TO_PTE(spa) | PTE_KERN | PTE_HARDWIRED |
l2_pte[i] = PA_TO_PTE(pa) | PTE_KERN | PTE_HARDWIRED | PTE_RW |