Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision 6c87f3a34f7e36abc7f9987485446ede08d5d3fe)
@@ -109,5 +109,7 @@
 	if (m->arch.imp_num & 0x80) {
 		/* Count records */
-		for (i = 0; imp_data80[i].vendor; i++);
+		i = 0;
+		while (imp_data80[i].vendor)
+			i++;
 		if ((m->arch.imp_num & 0x7f) >= i) {
 			printf("imp=%d\n", m->arch.imp_num);
@@ -116,5 +118,7 @@
 		data = &imp_data80[m->arch.imp_num & 0x7f];
 	} else {
-		for (i = 0; imp_data[i].vendor; i++);
+		i = 0;
+		while (imp_data[i].vendor)
+			i++;
 		if (m->arch.imp_num >= i) {
 			printf("imp=%d\n", m->arch.imp_num);
Index: kernel/arch/mips32/src/debug/stacktrace.c
===================================================================
--- kernel/arch/mips32/src/debug/stacktrace.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/mips32/src/debug/stacktrace.c	(revision 6c87f3a34f7e36abc7f9987485446ede08d5d3fe)
@@ -159,6 +159,8 @@
 
 			/* Seek to the end of this function. */
-			for (cur = inst + 1; !IS_JR_RA(*cur); cur++)
-				;
+			cur = inst + 1;
+			while (!IS_JR_RA(*cur))
+				cur++;
+
 			/* Scan the last basic block */
 			for (cur--; !is_jump(*(cur - 1)); cur--) {