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

   1 #ifndef HEADER_ADDRSPACE_H
   2 #define HEADER_ADDRSPACE_H 1
   3
   4 #include <stdint.h>
   5 #include "hash.h"
   6
   7 struct addrspace
   8   {
   9     uint32_t *pagedir;
  10   };
  11
  12 bool addrspace_load (struct addrspace *, const char *);
  13 void addrspace_destroy (struct addrspace *);
  14
  15 void addrspace_activate (struct addrspace *);
  16
  17 #endif /* addrspace.h */