diff options
Diffstat (limited to 'src/user')
| -rw-r--r-- | src/user/init.c | 7 | ||||
| -rw-r--r-- | src/user/syscall.c | 13 |
2 files changed, 9 insertions, 11 deletions
diff --git a/src/user/init.c b/src/user/init.c index bb60454..1130916 100644 --- a/src/user/init.c +++ b/src/user/init.c @@ -1,6 +1,6 @@ -#include "user/syscall.h" -#include "kern/log.h" #include "kern/common.h" +#include "kern/log.h" +#include "user/syscall.h" void usermode_start() { @@ -8,5 +8,6 @@ void usermode_start() logs("I'm still in usermode!\n"); logs("I'm super still in usermode!\n"); - for(;;); + for (;;) + ; } 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" |