smp_masked_invltlb
smp_masked_invltlb(pmap, pmap_invalidate_all_curcpu_cb);
smp_masked_invltlb(*mask, pmap, pmap_curcpu_cb_dummy);
void smp_masked_invltlb(cpuset_t mask, struct pmap *pmap,
void smp_masked_invltlb(struct pmap *pmap, smp_invl_cb_t curcpu_cb);