Symbol: tx39_irqhigh_intr
sys/arch/hpcmips/tx/tx39icu.c
208
void tx39_irqhigh_intr(uint32_t, vaddr_t, uint32_t);
sys/arch/hpcmips/tx/tx39icu.c
346
tx39_irqhigh_intr(ipending, pc, status);