Symbol: pic_bus_error
sys/arch/sgimips/dev/pic.c
180
platform.intr5 = pic_bus_error;
sys/arch/sgimips/dev/pic.c
59
static void pic_bus_error(vaddr_t, uint32_t, uint32_t);