Symbol: octciu_ipi_clear
sys/arch/octeon/dev/octciu.c
127
void octciu_ipi_clear(cpuid_t);
sys/arch/octeon/dev/octciu.c
186
sc->sc_ic.ic_ipi_clear = octciu_ipi_clear;