rename SVSRR0 to 721, add 720 PRTBL to be compatible with Microwatt

[libreriscv.git] / openpower / isatables / sprs.csv

diff --git a/openpower/isatables/sprs.csv b/openpower/isatables/sprs.csv
index e772b8eb0c193c51bcadc691ae8dfce5bb60456e..b5b841e8daf99f90dbcf398192512d66b5f9d05b 100644 (file)
--- a/openpower/isatables/sprs.csv
+++ b/openpower/isatables/sprs.csv
@@ -64,7 +64,8 @@ Idx,SPR,priv_mtspr,priv_mfspr,len
 446,TIR,-,yes,64
 464,PTCR,hypv,hypv,64
 704,SVSTATE,no,no,32
-720,SVSRR0,yes,yes,32
+720,PRTBL,yes,yes,64
+721,SVSRR0,yes,yes,32
 768,SIER,-,no,64
 769,MMCR2,no,no,64
 770,MMCRA,no,no,64