Symbol: tx39_irqhigh_disestablish
sys/arch/hpcmips/tx/tx39icu.c
205
void tx39_irqhigh_disestablish(tx_chipset_tag_t, int, int, int);
sys/arch/hpcmips/tx/tx39icu.c
595
tx39_irqhigh_disestablish(tc, set, bit, highpri);