Symbol: int1_local_intr
sys/arch/sgimips/dev/int.c
171
platform.intr1 = int1_local_intr;
sys/arch/sgimips/dev/int.c
68
static void int1_local_intr(vaddr_t, uint32_t, uint32_t);