Changed sys_write back to use int fd

examples/hello.c

@@ -2,6 +2,6 @@
 
 int main() {
   char hellostr[] = "Hello, World!\n";
-  sys_write(stdout, hellostr, sizeof(hellostr));
+  sys_write(0, hellostr, sizeof(hellostr));
   return 0;
 }

examples/input.c

@@ -3,6 +3,6 @@
 int main() {
   char str[10];
   sys_read(2, str, 10);
-  sys_write(stdout, str, sizeof(str));
+  sys_write(0, str, sizeof(str));
   return 0;
 }

src/include/liblinux.h

@@ -22,7 +22,7 @@ extern FILE *stderr;
 void sys_exit(int status); // FIXME: noreturn
 int sys_open(const char *pathname, int flags);
 int sys_close(int fd);
-ssize_t sys_write(FILE *fd, const void *buf, size_t count); 
+ssize_t sys_write(int fd, const void *buf, size_t count); 
 ssize_t sys_read(int fd, void *buf, size_t count);
 void *sys_mmap(void *addr, size_t len, int prot, int flags, int fildes, off_t off);
 int sys_munmap(void *addr, size_t len);

src/liblinux.c

@@ -17,7 +17,7 @@ int sys_close(int fd) {
   return syscall(__NR_close, fd);
 }
 
-ssize_t sys_write(FILE *fd, const void *buf, size_t count) {
+ssize_t sys_write(int fd, const void *buf, size_t count) {
   return syscall(__NR_write, fd, buf, count);
 }