Add filesize() stub.

[pintos-anon] / src / lib / user / syscall.c

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index 791f31c6b1dc34a85a4b0a56a3a1ff848a21dc5d..89e0185f901700cceab59d7709d0f0b389be98d8 100644 (file)
--- a/src/lib/user/syscall.c
+++ b/src/lib/user/syscall.c
@@ -46,6 +46,12 @@ open (const char *file)
   return syscall (SYS_open, file);
 }
 
+int
+filesize (int fd) 
+{
+  return syscall (SYS_filesize, fd);
+}
+
 int
 read (int fd, void *buffer, unsigned size)
 {