pmap_prot
pmap_prot(pmap_kernel(), PROT_READ | PROT_WRITE))
pmap_prot(pmap_kernel(), prot));
pmap_prot(pmap_kernel(), PROT_READ | PROT_EXEC)) < 0) {
pte |= PTE_PROT(pmap_prot(pmap, prot));
pte = pa | PTE_PROT(pmap_prot(pmap, prot)) |
tlbprot = PTE_PROT(pmap_prot(pmap, prot));