Symbol: ipi_sysinit
sys/kern/init_main.c
366
ipi_sysinit();
sys/sys/ipi.h
62
void ipi_sysinit(void);