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