pmap_kprotect
pmap_kprotect((vaddr_t)tv & -PAGE_SIZE, PAGE_SIZE,
pmap_kprotect((vaddr_t)tv & -PAGE_SIZE, PAGE_SIZE, VM_PROT_READ);
pmap_kprotect((vaddr_t)tv & -PAGE_SIZE, PAGE_SIZE,
pmap_kprotect((vaddr_t)tv & -PAGE_SIZE, PAGE_SIZE, VM_PROT_READ);
pmap_kprotect(base, size, prot);
pmap_kprotect(va, prot);
void pmap_kprotect(vaddr_t, vm_prot_t);