Fix typo.
[pintos-anon] / src / lib / user / syscall.h
index c07f3ea6b7fa3bf93fc3edfaa3bdc2e54276b720..188576d35edbe205507fa2d61e6dc4644014be87 100644 (file)
@@ -5,12 +5,13 @@
 #include <debug.h>
 
 typedef int pid_t;
+#define PID_ERROR ((pid_t) -1)
 
 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);