Symbol: octcit_ipi_intr
sys/arch/octeon/dev/octcit.c
118
uint32_t octcit_ipi_intr(uint32_t, struct trapframe *);
sys/arch/octeon/dev/octcit.c
193
set_intr(INTPRI_IPI, CR_INT_1, octcit_ipi_intr);