smp_masked_invlpg
smp_masked_invlpg(va, pmap, pmap_invalidate_page_curcpu_cb);
smp_masked_invlpg(*mask, va, pmap, pmap_curcpu_cb_dummy);
smp_masked_invlpg(other_cpus, sf->kva, kernel_pmap,
void smp_masked_invlpg(cpuset_t mask, vm_offset_t addr, struct pmap *pmap,
void smp_masked_invlpg(vm_offset_t addr, struct pmap *pmap,