Symbol: octcit_ipi_set
sys/arch/octeon/dev/octcit.c
120
void octcit_ipi_set(cpuid_t);
sys/arch/octeon/dev/octcit.c
185
sc->sc_ic.ic_ipi_set = octcit_ipi_set;