Symbol: tx39_irqhigh
sys/arch/hpcmips/tx/tx39icu.c
209
int tx39_irqhigh(int, int);
sys/arch/hpcmips/tx/tx39icu.c
564
if ((highpri = tx39_irqhigh(set, bit))) {
sys/arch/hpcmips/tx/tx39icu.c
594
if ((highpri = tx39_irqhigh(set, bit))) {
sys/arch/hpcmips/tx/tx39icu.c
736
if (tx39_irqhigh(i, j)) {