pmap_emulate_modify
int pmap_emulate_modify(pmap_t, vaddr_t);
if (pmap_emulate_modify(pmap_kernel(),
if (pmap_emulate_modify(p->p_vmspace->vm_map.pmap,