Symbol: sb1250_ipi_intr
sys/arch/evbmips/sbmips/sb1250_icu.c
189
sb1250_ipi_intr(void *arg, uint32_t status, vaddr_t pc)
sys/arch/sbmips/sbmips/sb1250_icu.c
189
sb1250_ipi_intr(void *arg, uint32_t status, vaddr_t pc)