Changeset 482826d in mainline for generic/include/mm/as.h

Timestamp:

2006-05-31T16:23:19Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

39031cc

Parents:

343fc179

Message:

Function for destroying address space for which there is no other reference in the kernel.

File:

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

generic/include/mm/as.h

@@ -76 +76 @@
         mutex_t lock;
 
+        /** Number of references (i.e tasks that reference this as). */
+        count_t refcount;
+
         /** Number of processors on wich is this address space active. */
         count_t cpu_refcount;
@@ -91 +94 @@
 struct as_operations {
         pte_t *(* page_table_create)(int flags);
+        void (* page_table_destroy)(pte_t *page_table);
         void (* page_table_lock)(as_t *as, bool lock);
         void (* page_table_unlock)(as_t *as, bool unlock);
@@ -159 +163 @@
 
 extern void as_init(void);
+
 extern as_t *as_create(int flags);
+extern void as_destroy(as_t *as);
+extern void as_switch(as_t *old, as_t *new);
+extern int as_page_fault(__address page, pf_access_t access, istate_t *istate);
+
 extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs,
         mem_backend_t *backend, mem_backend_data_t *backend_data);
+extern int as_area_destroy(as_t *as, __address address);        
 extern int as_area_resize(as_t *as, __address address, size_t size, int flags);
-extern int as_area_destroy(as_t *as, __address address);
+int as_area_share(as_t *src_as, __address src_base, size_t acc_size,
+                  as_t *dst_as, __address dst_base, int dst_flags_mask);
+
 extern int as_area_get_flags(as_area_t *area);
 extern bool as_area_check_access(as_area_t *area, pf_access_t access);
-extern int as_page_fault(__address page, pf_access_t access, istate_t *istate);
-extern void as_switch(as_t *old, as_t *new);
-extern void as_free(as_t *as);
-int as_area_share(as_t *src_as, __address src_base, size_t acc_size,
-                  as_t *dst_as, __address dst_base, int dst_flags_mask);
 extern size_t as_get_size(__address base);
 extern int used_space_insert(as_area_t *a, __address page, count_t count);