TX39_INTRSET_MAX
txreg_t sc_le_mask[TX39_INTRSET_MAX + 1];
int (*sc_le_fun[TX39_INTRSET_MAX + 1][32])(void *);
void *sc_le_arg[TX39_INTRSET_MAX + 1][32];
txreg_t sc_regs[TX39_INTRSET_MAX + 1];
for (i = 1; i <= TX39_INTRSET_MAX; i++) {
if (!intr || intr >= (TX39_INTRSET_MAX + 1) * 32
if (r < 0 || r >= TX39_INTRSET_MAX + 1)
for (i = 1; i <= TX39_INTRSET_MAX; i++) {
txreg_t sc_icu_state[TX39_INTRSET_MAX + 1];