Symbol: DBG_INTX_INTR