Symbol: tx39_irqhigh_establish
sys/arch/hpcmips/tx/tx39icu.c
206
void tx39_irqhigh_establish(tx_chipset_tag_t, int, int, int,
sys/arch/hpcmips/tx/tx39icu.c
565
tx39_irqhigh_establish(tc, set, bit, highpri,