TX39_INTRENABLE7_REG
tx_conf_write(tc, TX39_INTRENABLE7_REG, 0);
(((x) - 7) * 8 + TX39_INTRENABLE7_REG))
iregs[7] = tx_conf_read(tc, TX39_INTRENABLE7_REG);
tx_conf_write(tc, TX39_INTRENABLE7_REG, 0);
tx_conf_write(tc, TX39_INTRENABLE7_REG, iregs[7]);