Symbol: os_local_ipi_enable
arch/um/include/shared/os.h
352
void os_local_ipi_enable(void);
arch/um/os-Linux/signal.c
282
os_local_ipi_enable();