Index: kernel/generic/src/mm/tlb.c
===================================================================
--- kernel/generic/src/mm/tlb.c	(revision 74c5a1ca12179848560736c11507db96e7d16ee3)
+++ kernel/generic/src/mm/tlb.c	(revision 05e3cb80171fdcd27f8650a64f4e6e7b25a00316)
@@ -73,17 +73,16 @@
  * to all other processors.
  *
- * @param type		Type describing scope of shootdown.
- * @param asid		Address space, if required by type.
- * @param page		Virtual page address, if required by type.
- * @param count		Number of pages, if required by type.
+ * @param type  Type describing scope of shootdown.
+ * @param asid  Address space, if required by type.
+ * @param page  Virtual page address, if required by type.
+ * @param count Number of pages, if required by type.
  *
  * @return The interrupt priority level as it existed prior to this call.
+ *
  */
 ipl_t tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid,
     uintptr_t page, size_t count)
 {
-	ipl_t ipl;
-
-	ipl = interrupts_disable();
+	ipl_t ipl = interrupts_disable();
 	CPU->tlb_active = false;
 	irq_spinlock_lock(&tlblock, false);
@@ -91,10 +90,8 @@
 	size_t i;
 	for (i = 0; i < config.cpu_count; i++) {
-		cpu_t *cpu;
-		
 		if (i == CPU->id)
 			continue;
 		
-		cpu = &cpus[i];
+		cpu_t *cpu = &cpus[i];
 		irq_spinlock_lock(&cpu->lock, false);
 		if (cpu->tlb_messages_count == TLB_MESSAGE_QUEUE_LEN) {
@@ -127,5 +124,5 @@
 		if (cpus[i].tlb_active)
 			goto busy_wait;
-
+	
 	return ipl;
 }
@@ -133,5 +130,6 @@
 /** Finish TLB shootdown sequence.
  *
- * @param ipl		Previous interrupt priority level.
+ * @param ipl Previous interrupt priority level.
+ *
  */
 void tlb_shootdown_finalize(ipl_t ipl)