Symbol: TX39_IRQHIGH_MAX
sys/arch/hpcmips/tx/tx39icu.c
189
TAILQ_HEAD(, txintr_high_entry) sc_he_head[TX39_IRQHIGH_MAX];
sys/arch/hpcmips/tx/tx39icu.c
293
for (i = 0; i < TX39_IRQHIGH_MAX; i++) {