Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 1d432f9b3f6833cb86d4ee1903d5cdc12a99f6aa)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 0e54b4a5733c2db7fa4803ceb19ce70c2d13f3aa)
@@ -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.