Revise makefile structure.

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

diff --git a/src/lib/user/syscall.h b/src/lib/user/syscall.h
index a594016cb1ff1db565f5739a97169f873d00167a..c07f3ea6b7fa3bf93fc3edfaa3bdc2e54276b720 100644 (file)
--- 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);