Symbol: octciu_ipi_intr
sys/arch/octeon/dev/octciu.c
124
uint32_t octciu_ipi_intr(uint32_t, struct trapframe *);
sys/arch/octeon/dev/octciu.c
195
set_intr(INTPRI_IPI, CR_INT_1, octciu_ipi_intr);