Revise makefile structure.

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

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index efabc018c4b80650b9c896c08e16382fc834577d..506712f323a2e07e7acf2078fa63ad2cd751e0c1 100644 (file)
--- 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)
 {