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