ipi_mb            117 kernel/sched/membarrier.c 	smp_call_function_many(tmpmask, ipi_mb, NULL, 1);
ipi_mb            184 kernel/sched/membarrier.c 	smp_call_function_many(tmpmask, ipi_mb, NULL, 1);