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

   1 #ifndef USERPROG_ADDRSPACE_H
   2 #define USERPROG_ADDRSPACE_H
   3
   4 #include "threads/thread.h"
   5
   6 tid_t addrspace_execute (const char *filename);
   7 void addrspace_destroy (struct thread *);
   8 void addrspace_activate (void);
   9
  10 #endif /* userprog/addrspace.h */