Index: kernel/arch/riscv64/src/mm/page.c
===================================================================
--- kernel/arch/riscv64/src/mm/page.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/riscv64/src/mm/page.c	(revision 2c4e1cc2aa4f1a4b249af5c661e93ac170ba5158)
@@ -86,6 +86,6 @@
 
 	asm volatile (
-		"csrw sptbr, %[satp]\n"
-		:: [satp] "r" (satp)
+	    "csrw sptbr, %[satp]\n"
+	    :: [satp] "r" (satp)
 	);
 }