Symbol: txc_int_stat_dbg_t