Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
+++ kernel/arch/mips32/src/debugger.c	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
@@ -102,28 +102,28 @@
 	uint32_t value;
 } jmpinstr[] = {
-	{0xf3ff0000, 0x41000000},  /* BCzF */
-	{0xf3ff0000, 0x41020000},  /* BCzFL */
-	{0xf3ff0000, 0x41010000},  /* BCzT */
-	{0xf3ff0000, 0x41030000},  /* BCzTL */
-	{0xfc000000, 0x10000000},  /* BEQ */
-	{0xfc000000, 0x50000000},  /* BEQL */
-	{0xfc1f0000, 0x04010000},  /* BEQL */
-	{0xfc1f0000, 0x04110000},  /* BGEZAL */
-	{0xfc1f0000, 0x04130000},  /* BGEZALL */
-	{0xfc1f0000, 0x04030000},  /* BGEZL */
-	{0xfc1f0000, 0x1c000000},  /* BGTZ */
-	{0xfc1f0000, 0x5c000000},  /* BGTZL */
-	{0xfc1f0000, 0x18000000},  /* BLEZ */
-	{0xfc1f0000, 0x58000000},  /* BLEZL */
-	{0xfc1f0000, 0x04000000},  /* BLTZ */
-	{0xfc1f0000, 0x04100000},  /* BLTZAL */
-	{0xfc1f0000, 0x04120000},  /* BLTZALL */
-	{0xfc1f0000, 0x04020000},  /* BLTZL */
-	{0xfc000000, 0x14000000},  /* BNE */
-	{0xfc000000, 0x54000000},  /* BNEL */
-	{0xfc000000, 0x08000000},  /* J */
-	{0xfc000000, 0x0c000000},  /* JAL */
-	{0xfc1f07ff, 0x00000009},  /* JALR */
-	{0, 0}                     /* end of table */
+	{ 0xf3ff0000, 0x41000000 },  /* BCzF */
+	{ 0xf3ff0000, 0x41020000 },  /* BCzFL */
+	{ 0xf3ff0000, 0x41010000 },  /* BCzT */
+	{ 0xf3ff0000, 0x41030000 },  /* BCzTL */
+	{ 0xfc000000, 0x10000000 },  /* BEQ */
+	{ 0xfc000000, 0x50000000 },  /* BEQL */
+	{ 0xfc1f0000, 0x04010000 },  /* BEQL */
+	{ 0xfc1f0000, 0x04110000 },  /* BGEZAL */
+	{ 0xfc1f0000, 0x04130000 },  /* BGEZALL */
+	{ 0xfc1f0000, 0x04030000 },  /* BGEZL */
+	{ 0xfc1f0000, 0x1c000000 },  /* BGTZ */
+	{ 0xfc1f0000, 0x5c000000 },  /* BGTZL */
+	{ 0xfc1f0000, 0x18000000 },  /* BLEZ */
+	{ 0xfc1f0000, 0x58000000 },  /* BLEZL */
+	{ 0xfc1f0000, 0x04000000 },  /* BLTZ */
+	{ 0xfc1f0000, 0x04100000 },  /* BLTZAL */
+	{ 0xfc1f0000, 0x04120000 },  /* BLTZALL */
+	{ 0xfc1f0000, 0x04020000 },  /* BLTZL */
+	{ 0xfc000000, 0x14000000 },  /* BNE */
+	{ 0xfc000000, 0x54000000 },  /* BNEL */
+	{ 0xfc000000, 0x08000000 },  /* J */
+	{ 0xfc000000, 0x0c000000 },  /* JAL */
+	{ 0xfc1f07ff, 0x00000009 },  /* JALR */
+	{ 0, 0 }                     /* end of table */
 };
 
@@ -273,6 +273,6 @@
 			    breakpoints[i].counter, (void *) breakpoints[i].address,
 			    ((breakpoints[i].flags & BKPOINT_INPROG) ? "true" :
-			    "false"), ((breakpoints[i].flags & BKPOINT_ONESHOT)
-			    ? "true" : "false"), ((breakpoints[i].flags &
+			    "false"), ((breakpoints[i].flags & BKPOINT_ONESHOT) ?
+			    "true" : "false"), ((breakpoints[i].flags &
 			    BKPOINT_FUNCCALL) ? "true" : "false"), symbol);
 		}
@@ -382,5 +382,5 @@
 		smc_coherence(cur->address);
 
-		if (! (cur->flags & BKPOINT_ONESHOT)) {
+		if (!(cur->flags & BKPOINT_ONESHOT)) {
 			/* Set Breakpoint on next instruction */
 			((uint32_t *)cur->address)[1] = 0x0d;
@@ -422,6 +422,6 @@
 	}
 
-	if ((cur) && (cur->address == fireaddr)
-	    && ((cur->flags & BKPOINT_INPROG))) {
+	if ((cur) && (cur->address == fireaddr) &&
+	    ((cur->flags & BKPOINT_INPROG))) {
 		/* Remove one-shot breakpoint */
 		if ((cur->flags & BKPOINT_ONESHOT))
Index: kernel/arch/mips32/src/mach/msim/msim.c
===================================================================
--- kernel/arch/mips32/src/mach/msim/msim.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
+++ kernel/arch/mips32/src/mach/msim/msim.c	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
@@ -94,6 +94,6 @@
 	 * interrupts.
 	 */
-	dsrlnin_instance_t *dsrlnin_instance
-	    = dsrlnin_init((dsrlnin_t *) MSIM_KBD_ADDRESS, MSIM_KBD_IRQ);
+	dsrlnin_instance_t *dsrlnin_instance =
+	    dsrlnin_init((dsrlnin_t *) MSIM_KBD_ADDRESS, MSIM_KBD_IRQ);
 	if (dsrlnin_instance) {
 		srln_instance_t *srln_instance = srln_init();
Index: kernel/arch/mips32/src/mm/km.c
===================================================================
--- kernel/arch/mips32/src/mm/km.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
+++ kernel/arch/mips32/src/mm/km.c	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
@@ -51,6 +51,6 @@
 bool km_is_non_identity_arch(uintptr_t addr)
 {
-	return iswithin(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE, addr, 1)
-	    || iswithin(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE, addr, 1);
+	return iswithin(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE, addr, 1) ||
+	    iswithin(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE, addr, 1);
 }