Destroy PT pages in addrspace_destroy().
[pintos-anon] / src / userprog / addrspace.h
1 #ifndef HEADER_ADDRSPACE_H
2 #define HEADER_ADDRSPACE_H 1
3
4 #include <stdbool.h>
5
6 struct thread;
7 bool addrspace_load (struct thread *, const char *, void (**start) (void));
8 void addrspace_destroy (struct thread *);
9 void addrspace_activate (struct thread *);
10
11 #endif /* addrspace.h */