Index: kernel/arch/mips32/src/mm/as.c
===================================================================
--- kernel/arch/mips32/src/mm/as.c	(revision edebc15c65ded52ed661523a687334ecc04a7578)
+++ kernel/arch/mips32/src/mm/as.c	(revision 26e7d6da331e8d35b5e83880a9740de5e9e4bd99)
@@ -61,9 +61,9 @@
 	/*
 	 * Install ASID.
-	 */	
+	 */
 	hi.value = cp0_entry_hi_read();
 
 	hi.asid = as->asid;
-	cp0_entry_hi_write(hi.value);	
+	cp0_entry_hi_write(hi.value);
 }