Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 0ff03f3a9f7a35d56bf50ddb10304d4fe756524d)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 207533f656c8eb4d9d0fbf36bc55a1c06a3316bb)
@@ -49,5 +49,4 @@
  *
  * @param as       Address space.
- * @param lock     Lock/unlock the address space.
  * @param badvaddr Faulting virtual address.
  * @param access   Access mode that caused the fault.
@@ -62,6 +61,4 @@
     istate_t *istate, int *pfrc)
 {
-	ASSERT(mutex_locked(&as->lock));
-
 	/*
 	 * Check if the mapping exists in page tables.
@@ -79,6 +76,4 @@
 		 * Resort to higher-level page fault handler.
 		 */
-		page_table_unlock(as, true);
-		
 		int rc = as_page_fault(badvaddr, access, istate);
 		switch (rc) {
@@ -88,5 +83,4 @@
 			 * The mapping ought to be in place.
 			 */
-			page_table_lock(as, true);
 			pte = page_mapping_find(as, badvaddr, true);
 			ASSERT((pte) && (pte->present));
@@ -94,9 +88,7 @@
 			return pte;
 		case AS_PF_DEFER:
-			page_table_lock(as, true);
 			*pfrc = rc;
 			return NULL;
 		case AS_PF_FAULT:
-			page_table_lock(as, true);
 			*pfrc = rc;
 			return NULL;
@@ -214,6 +206,4 @@
 		badvaddr = istate->pc;
 	
-	page_table_lock(as, true);
-	
 	int pfrc;
 	pte_t *pte = find_mapping_and_check(as, badvaddr,
@@ -223,5 +213,4 @@
 		switch (pfrc) {
 		case AS_PF_FAULT:
-			page_table_unlock(as, true);
 			pht_refill_fail(badvaddr, istate);
 			return;
@@ -231,5 +220,4 @@
 			 * or copy_to_uspace().
 			 */
-			page_table_unlock(as, true);
 			return;
 		default:
@@ -241,6 +229,4 @@
 	pte->accessed = 1;
 	pht_insert(badvaddr, pte);
-	
-	page_table_unlock(as, true);
 }