Index: kernel/arch/ppc32/src/mm/as.c
===================================================================
--- kernel/arch/ppc32/src/mm/as.c	(revision bd1deed7b64271415d7ecf3951bd917d8093536f)
+++ kernel/arch/ppc32/src/mm/as.c	(revision 31d8e103d56f8142eb714a22e4d2cbd7e22e5b5a)
@@ -55,10 +55,6 @@
 {
 	asid_t asid;
-	ipl_t ipl;
 	uint32_t sr;
 
-	ipl = interrupts_disable();
-	spinlock_lock(&as->lock);
-	
 	asid = as->asid;
 	
@@ -80,7 +76,4 @@
 		);
 	}
-	
-	spinlock_unlock(&as->lock);
-	interrupts_restore(ipl);
 }