On Wed, 3 Jun 2020 at 02:13, Richard Henderson <[email protected]> wrote: > > This is TFSRE0_EL1, TFSR_EL1, TFSR_EL2, TFSR_EL3, > RGSR_EL1, GCR_EL1, GMID_EL1, and PSTATE.TCO. > > Signed-off-by: Richard Henderson <[email protected]>
Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
