SVSRR0 needs to be added to the trap pipeline, similar to SRR0 and SRR1 recording SVSTATE.
commit 321afe236aa1e44a99a94a774c3e6b412a61e8d9 (HEAD -> master) Author: Luke Kenneth Casson Leighton <lkcl@lkcl.net> Date: Tue May 4 18:40:35 2021 +0100 add SVSTATE (SVSRR0) to TRAP pipeline involves adding svstate to TrapOutputData regspec, and a corresponding write port to StateRegs, and adding svstate to CompTrapOpSubset