Rename sbadaddr to satp

[riscv-tests.git] / debug / programs / mprv.S

diff --git a/debug/programs/mprv.S b/debug/programs/mprv.S
index a17852a03ff8cc9ad603cdb7b5d547c04579c5f1..8ec261eee98d858498439f28195059431b25540c 100644 (file)
--- a/debug/programs/mprv.S
+++ b/debug/programs/mprv.S
@@ -8,14 +8,14 @@ main:
         # Set up a page table entry that maps 0x0... to 0x8...
         la      t0, page_table
         srli    t0, t0, PGSHIFT
-        csrw    CSR_SPTBR, t0
+        csrw    CSR_SATP, t0
 
         # update mstatus
         csrr    t1, CSR_MSTATUS
 #if XLEN == 32
-        li      t0, (MSTATUS_MPRV | (SPTBR_MODE_SV32 << 24))
+        li      t0, (MSTATUS_MPRV | (SATP_MODE_SV32 << 24))
 #else
-        li      t0, (MSTATUS_MPRV | (SPTBR_MODE_SV39 << 24))
+        li      t0, (MSTATUS_MPRV | (SATP_MODE_SV39 << 24))
 #endif
         #li      t0, ((VM_SV39 << 24))
         or      t1, t0, t1