Changeset 1068f6a in mainline for genarch/src/mm/asid.c

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:

• genarch/src/mm/asid.c (modified) (3 diffs)

genarch/src/mm/asid.c

@@ -58 +58 @@
 #include <arch/mm/asid.h>
 #include <synch/spinlock.h>
+#include <synch/mutex.h>
 #include <arch.h>
 #include <adt/list.h>
@@ -104 +105 @@
                 
                 as = list_get_instance(tmp, as_t, inactive_as_with_asid_link);
-                spinlock_lock(&as->lock);
+                mutex_lock_active(&as->lock);
 
                 /*
@@ -118 +119 @@
                  */
                 as->asid = ASID_INVALID;
-                spinlock_unlock(&as->lock);
+                mutex_unlock(&as->lock);
 
                 /*