Index: kernel/arch/arm32/src/mm/as.c
===================================================================
--- kernel/arch/arm32/src/mm/as.c	(revision d4a829e15ff53d4529f6faccc7aa01dc9efccd08)
+++ kernel/arch/arm32/src/mm/as.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
@@ -43,5 +43,5 @@
 
 /** Architecture dependent address space init.
- *  
+ *
  *  Since ARM supports page tables, #as_pt_operations are used.
  */
Index: kernel/arch/arm32/src/mm/tlb.c
===================================================================
--- kernel/arch/arm32/src/mm/tlb.c	(revision d4a829e15ff53d4529f6faccc7aa01dc9efccd08)
+++ kernel/arch/arm32/src/mm/tlb.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup arm32mm	
+/** @addtogroup arm32mm
  * @{
  */