Changeset b3f8fb7 in mainline for kernel/genarch/include/mm/as_ht.h

Timestamp:

2007-01-28T13:25:49Z (17 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

8e8c1a5

Parents:

1ba41c5

Message:

huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes

File:

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

kernel/genarch/include/mm/as_ht.h

@@ -36 +36 @@
 #define KERN_AS_HT_H_
 
-#include <mm/as.h>
+#include <mm/mm.h>
+#include <arch/mm/asid.h>
+#include <adt/list.h>
+#include <adt/btree.h>
+#include <synch/mutex.h>
 
-extern as_operations_t as_ht_operations;
+/** 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;
+
+        /** Address space identifier. Constant on architectures that do not support ASIDs.*/
+        asid_t asid;
+        
+        /** Architecture specific content. */
+        as_arch_t arch;
+} as_t;
+
+typedef struct {
+        link_t link;            /**< Page hash table link. */
+        as_t *as;               /**< Address space. */
+        uintptr_t page;         /**< Virtual memory page. */
+        uintptr_t frame;        /**< Physical memory frame. */
+        unsigned g : 1;         /**< Global page. */
+        unsigned x : 1;         /**< Execute. */
+        unsigned w : 1;         /**< Writable. */
+        unsigned k : 1;         /**< Kernel privileges required. */
+        unsigned c : 1;         /**< Cacheable. */
+        unsigned a : 1;         /**< Accessed. */
+        unsigned d : 1;         /**< Dirty. */
+        unsigned p : 1;         /**< Present. */
+} pte_t;
 
 #endif