Symbol: smp_masked_invlpg_range
sys/amd64/amd64/mp_machdep.c
731
smp_masked_invlpg_range(vm_offset_t addr1, vm_offset_t addr2, pmap_t pmap,
sys/i386/i386/mp_machdep.c
628
smp_masked_invlpg_range(cpuset_t mask, vm_offset_t addr1, vm_offset_t addr2,