Add initial_size argument to create syscall.
[pintos-anon] / src / lib / user / syscall.h
index c07f3ea6b7fa3bf93fc3edfaa3bdc2e54276b720..d0a22500dd8f36f7090ca57ee23173ff85ecfff4 100644 (file)
@@ -10,7 +10,7 @@ void halt (void) NO_RETURN;
 void exit (int status) NO_RETURN;
 pid_t exec (const char *file);
 int join (pid_t);
-bool create (const char *file);
+bool create (const char *file, unsigned initial_size);
 bool remove (const char *file);
 int open (const char *file);
 int filesize (int fd);