random: Fix behavior of kernel option "-rs".

[pintos-anon] / src / userprog / process.h

diff --git a/src/userprog/process.h b/src/userprog/process.h
index cd9463d6928c4fdd8fadbb52d0abd9ddad9472ef..688cd2a37fd2c1bd7fdcb417f834026a25fa4945 100644 (file)
--- a/src/userprog/process.h
+++ b/src/userprog/process.h
@@ -3,8 +3,9 @@
 
 #include "threads/thread.h"
 
-tid_t process_execute (const char *filename);
-void process_destroy (struct thread *);
+tid_t process_execute (const char *file_name);
+int process_wait (tid_t);
+void process_exit (void);
 void process_activate (void);
 
 #endif /* userprog/process.h */