Index: kernel/generic/src/mm/tlb.c
===================================================================
--- kernel/generic/src/mm/tlb.c	(revision 26678e5a1f0f0a6dda91a9e89a03aa3ca86e447c)
+++ kernel/generic/src/mm/tlb.c	(revision 0b414b5bfb083f200dcb33bd41d7b8a75f79142e)
@@ -162,15 +162,15 @@
 
 		switch (type) {
-		    case TLB_INVL_ALL:
+		case TLB_INVL_ALL:
 			tlb_invalidate_all();
 			break;
-		    case TLB_INVL_ASID:
+		case TLB_INVL_ASID:
 			tlb_invalidate_asid(asid);
 			break;
-		    case TLB_INVL_PAGES:
+		case TLB_INVL_PAGES:
 		    	ASSERT(count);
 			tlb_invalidate_pages(asid, page, count);
 			break;
-		    default:
+		default:
 			panic("unknown type (%d)\n", type);
 			break;