Symbol: os_local_ipi_disable
arch/um/include/shared/os.h
356
static inline void os_local_ipi_disable(void) { }
arch/um/os-Linux/smp.c
115
void os_local_ipi_disable(void)