Changeset 7f341820 in mainline for kernel/arch/mips32/src/mm/tlb.c

Timestamp:

2009-02-17T14:09:31Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

30e2bba

Parents:

85156d3

Message:

mips32: basic SMP support

File:

• kernel/arch/mips32/src/mm/tlb.c (modified) (3 diffs)

kernel/arch/mips32/src/mm/tlb.c

@@ -27 +27 @@
  */
 
-/** @addtogroup mips32mm        
+/** @addtogroup mips32mm
  * @{
  */
@@ -42 +42 @@
 #include <arch.h>
 #include <symtab.h>
-#include <synch/spinlock.h>
+#include <synch/mutex.h>
 #include <print.h>
 #include <debug.h>
@@ -93 +93 @@
         pte_t *pte;
         int pfrc;
-
+        
         badvaddr = cp0_badvaddr_read();
-
-        spinlock_lock(&AS->lock);
+        
+        mutex_lock(&AS->lock);
         asid = AS->asid;
-        spinlock_unlock(&AS->lock);
-
+        mutex_unlock(&AS->lock);
+        
         page_table_lock(AS, true);
-
+        
         pte = find_mapping_and_check(badvaddr, PF_ACCESS_READ, istate, &pfrc);
         if (!pte) {