Symbol: smp_invltlb
sys/platform/pc64/x86_64/mp_machdep.c
939
smp_invltlb(void)
sys/platform/vkernel64/platform/pmap_inval.c
270
smp_invltlb(void)