Beginnings of userspace.

[pintos-anon] / src / userprog / addrspace.h

diff --git a/src/userprog/addrspace.h b/src/userprog/addrspace.h
new file mode 100644 (file)
index 0000000..b6f2cc3
--- /dev/null
+++ b/src/userprog/addrspace.h
@@ -0,0 +1,21 @@
+#ifndef HEADER_ADDRSPACE_H
+#define HEADER_ADDRSPACE_H 1
+
+#include "list.h"
+
+struct vma 
+  {
+    struct list_elem elem;
+    uint32_t start, end;
+    void **pages;
+  };
+
+struct addrspace 
+  {
+    uint32_t *page_dir;
+    struct list vmas;
+  };
+
+void addrspace_load (struct addrspace *, const char *);
+
+#endif /* addrspace.h */