Symbol: int_8254_intr1
sys/arch/sgimips/dev/int.c
173
platform.intr4 = int_8254_intr1;
sys/arch/sgimips/dev/int.c
202
platform.intr4 = int_8254_intr1;
sys/arch/sgimips/dev/int.c
75
static void int_8254_intr1(vaddr_t, uint32_t, uint32_t);