clang-format

1 files changed, 13 insertions, 13 deletions

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);