Symbol: int2_local1_intr
sys/arch/sgimips/dev/int.c
200
platform.intr2 = int2_local1_intr;
sys/arch/sgimips/dev/int.c
207
platform.intr1 = int2_local1_intr;
sys/arch/sgimips/dev/int.c
70
static void int2_local1_intr(vaddr_t, uint32_t, uint32_t);