Changeset bd1deed in mainline for kernel/generic/include/mm/as.h

Timestamp:

2007-02-11T20:04:08Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

c993e45

Parents:

ce8aed1

Message:

experimental support for Objective C
(disabled by default)

File:

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

kernel/generic/include/mm/as.h

@@ -80 +80 @@
 /** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
 #define AS_PF_DEFER             2
+
+#ifdef __OBJC__
+@interface as_t {
+        @public
+                /** 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;
+                
+                /** Non-generic content. */
+                as_genarch_t genarch;
+                
+                /** Architecture specific content. */
+                as_arch_t arch;
+}
++ (pte_t *) page_table_create: (int) flags;
++ (void) page_table_destroy: (pte_t *) page_table;
+- (void) page_table_lock: (bool) _lock;
+- (void) page_table_unlock: (bool) unlock;
+@end
+
+#else
 
 /** Address space structure.
@@ -122 +159 @@
         void (* page_table_unlock)(as_t *as, bool unlock);
 } as_operations_t;
+#endif
 
 /**
@@ -202 +240 @@
 
 extern as_t *AS_KERNEL;
+
+#ifndef __OBJC__
 extern as_operations_t *as_operations;
+#endif
 
 SPINLOCK_EXTERN(inactive_as_with_asid_lock);