Clarification.

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

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index 506712f323a2e07e7acf2078fa63ad2cd751e0c1..89e0185f901700cceab59d7709d0f0b389be98d8 100644 (file)
--- a/src/lib/user/syscall.c
+++ b/src/lib/user/syscall.c
@@ -29,9 +29,9 @@ join (pid_t pid)
 }
 
 bool
-create (const char *file)
+create (const char *file, unsigned initial_size)
 {
-  return syscall (SYS_create, file);
+  return syscall (SYS_create, file, initial_size);
 }
 
 bool
@@ -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)
 {