Symbol: ipi_percpu_init
sys/kern/init_main.c
577
ipi_percpu_init();
sys/sys/ipi.h
63
void ipi_percpu_init(void);