Symbol: sibyte_bus_watch_intr
sys/arch/mips/sibyte/dev/sbbuswatch.c
46
static void sibyte_bus_watch_intr(void *, uint32_t, vaddr_t);
sys/arch/mips/sibyte/dev/sbbuswatch.c
56
sibyte_bus_watch_intr, (void *)K_INT_BAD_ECC);
sys/arch/mips/sibyte/dev/sbbuswatch.c
58
sibyte_bus_watch_intr, (void *)K_INT_COR_ECC);
sys/arch/mips/sibyte/dev/sbbuswatch.c
60
sibyte_bus_watch_intr, (void *)K_INT_IO_BUS);