Symbol: int2_local0_intr
sys/arch/sgimips/dev/int.c
199
platform.intr1 = int2_local0_intr;
sys/arch/sgimips/dev/int.c
206
platform.intr0 = int2_local0_intr;
sys/arch/sgimips/dev/int.c
69
static void int2_local0_intr(vaddr_t, uint32_t, uint32_t);