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

diff --git a/src/lib/user/syscall.h b/src/lib/user/syscall.h
index a594016..c07f3ea 100644
--- a/src/lib/user/syscall.h
+++ b/src/lib/user/syscall.h
@@ -16,6 +16,8 @@ int open (const char *file);
 int filesize (int fd);
 int read (int fd, void *buffer, unsigned length);
 int write (int fd, const void *buffer, unsigned length);
+void seek (int fd, unsigned position);
+unsigned tell (int fd);
 void close (int fd);
 bool mmap (int fd, void *addr, unsigned length);
 bool munmap (void *addr, unsigned length);