Symbol: __local_ipi_set
arch/um/os-Linux/smp.c
112
__local_ipi_set(1);
arch/um/os-Linux/smp.c
117
__local_ipi_set(0);