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