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 a7a16a2fd2fee7aed47cced53b3602609b317c8c)
@@ -85,6 +85,6 @@
 
 	asm volatile (
-	    "csrw sptbr, %[satp]\n"
-	    :: [satp] "r" (satp)
+	    "csrw satp, %[satpv]\n"
+	    :: [satpv] "r" (satp)
 	);
 }