X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.c;h=506712f323a2e07e7acf2078fa63ad2cd751e0c1;hp=efabc018c4b80650b9c896c08e16382fc834577d;hb=d46fd132092304422193b717d9a60641604cc1b5;hpb=bbca49d728013a8d7848d75c7e4bc25b67b60d89

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index efabc01..506712f 100644
--- a/src/lib/user/syscall.c
+++ b/src/lib/user/syscall.c
@@ -58,6 +58,18 @@ write (int fd, const void *buffer, unsigned size)
   return syscall (SYS_write, fd, buffer, size);
 }
 
+void
+seek (int fd, unsigned position) 
+{
+  syscall (SYS_seek, fd, position);
+}
+
+unsigned
+tell (int fd) 
+{
+  return syscall (SYS_tell, fd);
+}
+
 void
 close (int fd)
 {