From 239900af293f192931391dc5579afab39a43e6c6 Mon Sep 17 00:00:00 2001 From: Aleksa Vuckovic Date: Sat, 25 Feb 2023 06:56:01 +0100 Subject: clang-format --- kernel/src/sys/syscall.c | 26 +++++++++++++------------- kernel/src/sys/userspace.c | 6 +++--- 2 files changed, 16 insertions(+), 16 deletions(-) (limited to 'kernel/src/sys') diff --git a/kernel/src/sys/syscall.c b/kernel/src/sys/syscall.c index debd70f..bd3c52c 100644 --- a/kernel/src/sys/syscall.c +++ b/kernel/src/sys/syscall.c @@ -8,18 +8,18 @@ void syscall_handler() uint64_t rax; uint64_t rdi; uint64_t rsi; - __asm__ __volatile__ ("mov %%rax, %0;" : "=r"(rax) : :); - __asm__ __volatile__ ("mov %%rdi, %0;" : "=r"(rdi) : :); - __asm__ __volatile__ ("mov %%rsi, %0;" : "=r"(rsi) : :); - switch(rax) { - case SYSCALL_READ: - syscall_read(); - break; - case SYSCALL_WRITE: - syscall_write((char*)rdi, rsi); - break; - default: - printf("invalid syscall (%d)\n", rax); + __asm__ __volatile__("mov %%rax, %0;" : "=r"(rax) : :); + __asm__ __volatile__("mov %%rdi, %0;" : "=r"(rdi) : :); + __asm__ __volatile__("mov %%rsi, %0;" : "=r"(rsi) : :); + switch (rax) { + case SYSCALL_READ: + syscall_read(); + break; + case SYSCALL_WRITE: + syscall_write((char *)rdi, rsi); + break; + default: + printf("invalid syscall (%d)\n", rax); } } @@ -28,7 +28,7 @@ void syscall_read() printf("syscall_read()\n"); } -void syscall_write(char* buff, size_t count) +void syscall_write(char *buff, size_t count) { printf("syscall_write()\n"); printf("buff = 0x%x, count = %d\n", buff, count); diff --git a/kernel/src/sys/userspace.c b/kernel/src/sys/userspace.c index 00cd758..7091a3f 100644 --- a/kernel/src/sys/userspace.c +++ b/kernel/src/sys/userspace.c @@ -6,10 +6,10 @@ void begin_userspace() { // read - __asm__ __volatile__ ("mov $0x0, %rax; syscall;"); + __asm__ __volatile__("mov $0x0, %rax; syscall;"); // write - __asm__ __volatile__ ("mov $0x1, %rax; syscall;"); + __asm__ __volatile__("mov $0x1, %rax; syscall;"); - while(true) { + while (true) { } } -- cgit v1.2.3