Symbol: TX_RISC_STATE_REG