X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.c;h=89e0185f901700cceab59d7709d0f0b389be98d8;hb=518557d2cc0935612575d808b7d1e6ffda1a596e;hp=791f31c6b1dc34a85a4b0a56a3a1ff848a21dc5d;hpb=75663d9273af881a832699bfab6575ec1507761e;p=pintos-anon

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index 791f31c..89e0185 100644
--- 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)
 {