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 "list.h"
   5
   6 struct vma
   7   {
   8     struct list_elem elem;
   9     uint32_t start, end;
  10     void **pages;
  11   };
  12
  13 struct addrspace
  14   {
  15     uint32_t *page_dir;
  16     struct list vmas;
  17   };
  18
  19 void addrspace_load (struct addrspace *, const char *);
  20
  21 #endif /* addrspace.h */