1 files changed, 3 insertions, 1 deletions
diff --git a/src/kern/priv.c b/src/kern/priv.c
index ba25c26..6698350 100644
--- a/src/kern/priv.c
+++ b/src/kern/priv.c
@@ -37,6 +37,8 @@ void jump_to_user_mode()
       "msr  control, r0\n\t"
       "isb\n\t"
       "dsb\n\t"
-      "b usermode_start\n\t" : : "r"(new_stack));
+      "b usermode_start\n\t"
+      :
+      : "r"(new_stack));
 }
 #endif