Symbol: ipi_unregister
sys/kern/kern_softint.c
447
ipi_unregister(sh->sh_ipi_id);
sys/sys/ipi.h
69
void ipi_unregister(u_int);