hardware **must** save/restore SVSTATE in SVSRR0 at exactly the same
time that SRR0 is saved/restored in PC and SRR1 in MSR.
-The SPR name given for the purposes of saving/restoring SVSTATE is SVSRR0.
+The SPR name given for the purposes of saving/restoring
+SVSTATE is SVSRR0.