Symbol: TSTATECCR_TO_PSR