Symbol: RH_RISC_PAUSED