summaryrefslogtreecommitdiff
path: root/kernel/src/sys
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/src/sys')
-rw-r--r--kernel/src/sys/syscall.c26
-rw-r--r--kernel/src/sys/userspace.c6
2 files changed, 16 insertions, 16 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);
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) {
}
}