Symbol: os_local_ipi_enable
arch/um/include/shared/os.h
355
static inline void os_local_ipi_enable(void) { }
arch/um/os-Linux/smp.c
110
void os_local_ipi_enable(void)