pintos/src/userprog/process.h

Go to the documentation of this file.

#ifndef USERPROG_PROCESS_H
//98761678210217
#define USERPROG_PROCESS_H

#include "threads/thread.h"

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 */

---