Changeset 80bcaed in mainline for kernel/genarch/include/mm/as_pt.h

Timestamp:

2007-02-03T13:22:24Z (17 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

f619ec11

Parents:

fa8e7d2

Message:

Merge as_t structure into one and leave the differring parts in as_genarch_t.

Indentation and formatting changes in header files.

File:

• kernel/genarch/include/mm/as_pt.h (modified) (1 diff)

kernel/genarch/include/mm/as_pt.h

@@ -37 +37 @@
 
 #include <mm/mm.h>
-#include <arch/mm/asid.h>
-#include <adt/list.h>
-#include <adt/btree.h>
-#include <synch/mutex.h>
+#include <arch/types.h>
 
 #define AS_PAGE_TABLE
 
-/** Address space structure.
- *
- * as_t contains the list of as_areas of userspace accessible
- * pages for one or more tasks. Ranges of kernel memory pages are not
- * supposed to figure in the list as they are shared by all tasks and
- * set up during system initialization.
- */
 typedef struct {
-        /** Protected by asidlock. */
-        link_t inactive_as_with_asid_link;
-
-        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;
-
-        /** B+tree of address space areas. */
-        btree_t as_area_btree;
-        
         /** Page table pointer. */
         pte_t *page_table;
-
-        /** Address space identifier. Constant on architectures that do not support ASIDs.*/
-        asid_t asid;
-        
-        /** Architecture specific content. */
-        as_arch_t arch;
-} as_t;
+} as_genarch_t;
 
 #endif