pmap_changeprot4m
/*static*/ void pmap_changeprot4m(pmap_t, vaddr_t, vm_prot_t, int);
pmap_changeprot4m(pm, va, prot, flags);