Symbol: sb1250_ipi_intr
sys/arch/evbmips/sbmips/sb1250_icu.c
239
sb1250_ipi_intr, NULL);
sys/arch/evbmips/sbmips/sb1250_icu.c
89
static void sb1250_ipi_intr(void *, uint32_t, vaddr_t);
sys/arch/sbmips/sbmips/sb1250_icu.c
239
sb1250_ipi_intr, NULL);
sys/arch/sbmips/sbmips/sb1250_icu.c
89
static void sb1250_ipi_intr(void *, uint32_t, vaddr_t);