Symbol: octciu_ipi_set
sys/arch/octeon/dev/octciu.c
126
void octciu_ipi_set(cpuid_t);
sys/arch/octeon/dev/octciu.c
185
sc->sc_ic.ic_ipi_set = octciu_ipi_set;