Symbol: ipi_mb
kernel/sched/membarrier.c
301
smp_call_function_many(tmpmask, ipi_mb, NULL, 1);
kernel/sched/membarrier.c
320
smp_call_func_t ipi_func = ipi_mb;