Index: kernel/arch/mips32/include/mm/asid.h
===================================================================
--- kernel/arch/mips32/include/mm/asid.h	(revision 113c677dd068aaac3c6548693836c1980ffa5b14)
+++ kernel/arch/mips32/include/mm/asid.h	(revision 8fe5980e42d82b7d2d7e089fc06a6048def9ee08)
@@ -38,5 +38,5 @@
 #include <arch/types.h>
 
-#define ASID_MAX_ARCH		255	/* 2^8 - 1 */
+#define ASID_MAX_ARCH  255    /* 2^8 - 1 */
 
 typedef uint8_t asid_t;