Index: kernel/arch/riscv64/src/mm/page.c
===================================================================
--- kernel/arch/riscv64/src/mm/page.c	(revision 3fcea3438e30a096e9a5590a54508cfe3d5a697f)
+++ kernel/arch/riscv64/src/mm/page.c	(revision 832cbe7f6539badd99e8e5715f4a59e044c65c44)
@@ -85,6 +85,6 @@
 
 	asm volatile (
-	    "csrw sptbr, %[satp]\n"
-	    :: [satp] "r" (satp)
+	    "csrw satp, %[satpv]\n"
+	    :: [satpv] "r" (satp)
 	);
 }