Symbol: tdmc_intr_dbg_t