Symbol: int_8254_intr0
sys/arch/sgimips/dev/int.c
172
platform.intr2 = int_8254_intr0;
sys/arch/sgimips/dev/int.c
201
platform.intr3 = int_8254_intr0;
sys/arch/sgimips/dev/int.c
74
static void int_8254_intr0(vaddr_t, uint32_t, uint32_t);