Changes in kernel/generic/include/mm/as.h [908bb96:ae6021d] in mainline

File:

• kernel/generic/include/mm/as.h (modified) (7 diffs)

kernel/generic/include/mm/as.h

@@ -42 +42 @@
 #include <arch/mm/asid.h>
 #include <arch/istate.h>
-#include <typedefs.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
@@ -48 +47 @@
 #include <adt/btree.h>
 #include <lib/elf.h>
+#include <arch.h>
+
+#define AS                   THE->as
+
 
 /**
@@ -140 +143 @@
         /** This structure can be deallocated if refcount drops to 0. */
         size_t refcount;
-        
+        /** True if the area has been ever shared. */
+        bool shared;
+
         /**
          * B+tree containing complete map of anonymous pages of the shared area.
          */
         btree_t pagemap;
+
+        /** Address space area backend. */
+        struct mem_backend *backend;
+        /** Address space area shared data. */
+        void *backend_shared_data;
 } share_info_t;
 
@@ -159 +169 @@
 /** Backend data stored in address space area. */
 typedef union mem_backend_data {
+        /* anon_backend members */
+        struct {
+        };
+
         /** elf_backend members */
         struct {
@@ -169 +183 @@
                 uintptr_t base;
                 size_t frames;
+                bool anonymous;
         };
+
+        /** user_backend members */
+        struct {
+                as_area_pager_info_t pager_info;
+        };
+
 } mem_backend_data_t;
 
@@ -226 +247 @@
         int (* page_fault)(as_area_t *, uintptr_t, pf_access_t);
         void (* frame_free)(as_area_t *, uintptr_t, uintptr_t);
+
+        bool (* create_shared_data)(as_area_t *);
+        void (* destroy_shared_data)(void *);
 } mem_backend_t;
 
@@ -282 +306 @@
 extern mem_backend_t elf_backend;
 extern mem_backend_t phys_backend;
+extern mem_backend_t user_backend;
 
 /* Address space area related syscalls. */
-extern sysarg_t sys_as_area_create(uintptr_t, size_t, unsigned int, uintptr_t);
+extern sysarg_t sys_as_area_create(uintptr_t, size_t, unsigned int, uintptr_t,
+    as_area_pager_info_t *);
 extern sysarg_t sys_as_area_resize(uintptr_t, size_t, unsigned int);
 extern sysarg_t sys_as_area_change_flags(uintptr_t, unsigned int);