1 files changed, 5 insertions, 8 deletions
diff --git a/src/user/syscall.c b/src/user/syscall.c
index 601c7a3..9ed75da 100644
--- a/src/user/syscall.c
+++ b/src/user/syscall.c
@@ -1,11 +1,11 @@
-#include "arch.h"
 #include "user/syscall.h"
 
 #include <stdint.h>
 
-void __attribute__ ((noinline)) do_syscall(
-    volatile uint32_t id,
-    volatile uint32_t arg)
+#include "arch.h"
+
+void __attribute__((noinline))
+do_syscall(volatile uint32_t id, volatile uint32_t arg)
 {
 #ifdef ARCH_STM32L4
   asm volatile("svc #0x04");
@@ -13,8 +13,5 @@ void __attribute__ ((noinline)) do_syscall(
 }
 
 #define SYSCALL(id, fn, kernfn, argt) \
-  void fn(argt arg) \
-{ \
-  do_syscall(id, (uint32_t) arg); \
-}
+  void fn(argt arg) { do_syscall(id, (uint32_t)arg); }
 #include "kern/syscall/syscall_tbl.inc"