pmap_page_ro
pmap_page_ro(pmap_kernel(), pgva, PROT_READ|PROT_EXEC);
pmap_page_ro(pted->pted_pmap, pted->pted_va, prot);
pmap_page_ro(pm, sva, prot);
void pmap_page_ro(pmap_t pm, vaddr_t va, vm_prot_t prot);
void pmap_page_ro(pmap_t pm, vaddr_t va, vm_prot_t prot);
pmap_page_ro(pted->pted_pmap, pted->pted_va, prot);
pmap_page_ro(pm, sva, prot);