Symbol: octcit_ipi_establish
sys/arch/octeon/dev/octcit.c
119
int octcit_ipi_establish(int (*)(void *), cpuid_t);
sys/arch/octeon/dev/octcit.c
184
sc->sc_ic.ic_ipi_establish = octcit_ipi_establish;