Changeset 1068f6a in mainline for generic/include/mm/as.h

Timestamp:

2006-05-20T19:32:06Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

c1982e45

Parents:

9ea6cc5

Message:

Turn address space lock, address space area lock and
page_ht_lock into mutexes.

File:

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

generic/include/mm/as.h

@@ -45 +45 @@
 #include <typedefs.h>
 #include <synch/spinlock.h>
+#include <synch/mutex.h>
 #include <adt/list.h>
 #include <adt/btree.h>
@@ -67 +68 @@
 #define AS_AREA_ATTR_PARTIAL    1       /* Not fully initialized area. */
 
-#define AS_PF_FAULT             0       /**< The page fault was not resolved by asp_page_fault(). */
+#define AS_PF_FAULT             0       /**< The page fault was not resolved by as_page_fault(). */
 #define AS_PF_OK                1       /**< The page fault was resolved by as_page_fault(). */
-#define AS_PF_DEFER             2       /**< The page fault was caused by memcpy_from_uspace(). */
+#define AS_PF_DEFER             2       /**< The page fault was caused by memcpy_from_uspace()
+                                             or memcpy_to_uspace(). */
 
 /** Address space area structure.
@@ -77 +79 @@
  */
 struct as_area {
-        SPINLOCK_DECLARE(lock);
+        mutex_t lock;
         int flags;              /**< Flags related to the memory represented by the address space area. */
         int attributes;         /**< Attributes related to the address space area itself. */
@@ -92 +94 @@
  */
 struct as {
-        /** Protected by asidlock. Must be acquired before as->lock. */
+        /** Protected by asidlock. */
         link_t inactive_as_with_asid_link;
 
-        SPINLOCK_DECLARE(lock);
+        mutex_t lock;
 
         /** Number of processors on wich is this address space active. */