From 02fff62ca2dd77af8f59a9630337a0200dae040b Mon Sep 17 00:00:00 2001 From: sBubshait Date: Tue, 5 Nov 2024 23:24:41 +0000 Subject: [PATCH] Refactor syscall.c to follow PintOS styling, w/ E --- src/userprog/syscall.c | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/src/userprog/syscall.c b/src/userprog/syscall.c index 6027de2..1dbe73b 100644 --- a/src/userprog/syscall.c +++ b/src/userprog/syscall.c @@ -161,19 +161,19 @@ syscall_read (int fd, void *buffer, unsigned size) validate_user_pointer (buffer, size); if (fd == STDIN_FILENO) - { - /* Reading from the console. */ - char *write_buffer = buffer; - for (int i = 0; i < size; i++) - write_buffer[i] = input_getc (); + { + /* Reading from the console. */ + char *write_buffer = buffer; + for (int i = 0; i < size; i++) + write_buffer[i] = input_getc (); - return size; - } + return size; + } else - { - /* Reading from a file. */ - return 0; // TODO: Implement Write to Files - } + { + /* Reading from a file. */ + return 0; // TODO: Implement Write to Files + } } static int @@ -231,4 +231,4 @@ validate_user_pointer (const void *ptr, size_t size) thread_exit (); return ptr; -} \ No newline at end of file +}