Symbol: os_local_ipi_disable
arch/um/include/shared/os.h
353
void os_local_ipi_disable(void);
arch/um/os-Linux/signal.c
270
os_local_ipi_disable();