pintos-os.org Git - pintos-anon/blob - src/userprog/process.h

   1 #ifndef USERPROG_PROCESS_H
   2 #define USERPROG_PROCESS_H
   3
   4 #include "threads/thread.h"
   5
   6 tid_t process_execute (const char *filename);
   7 void process_exit (void);
   8 void process_activate (void);
   9
  10 #endif /* userprog/process.h */