pmap_write_protect_86
vm_prot_t) = pmap_write_protect_86;
void pmap_write_protect_86(struct pmap *, vaddr_t, vaddr_t, vm_prot_t);