smp_masked_invlpg_range
smp_masked_invlpg_range(sva, eva, pmap,
smp_masked_invlpg_range(*mask, sva, eva, pmap, pmap_curcpu_cb_dummy);
void smp_masked_invlpg_range(cpuset_t mask, vm_offset_t startva,
void smp_masked_invlpg_range(vm_offset_t startva, vm_offset_t endva,