Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision bdfd3cdd49ad4a46f7179211331798a5b1821e97)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision 8f80c776122ce206c51851f4cac39bcd4a236d9a)
@@ -352,6 +352,4 @@
 
 /** Try to find PTE for faulting address.
- *
- * The AS->lock must be held on entry to this function.
  *
  * @param badvaddr	Faulting virtual address.
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision bdfd3cdd49ad4a46f7179211331798a5b1821e97)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 8f80c776122ce206c51851f4cac39bcd4a236d9a)
@@ -49,7 +49,4 @@
 
 /** Try to find PTE for faulting address
- *
- * Try to find PTE for faulting address.
- * The as->lock must be held on entry to this function.
  *
  * @param as       Address space.