Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision 2c448fb8cf0ba4ec2da96ece59966a2ac34eb7ba)
@@ -105,20 +105,18 @@
 {
 	struct data_t *data;
-	int i;
+	unsigned int i;
 
 	if (m->arch.imp_num & 0x80) {
 		/* Count records */
-		for (i=0;imp_data80[i].vendor;i++)
-			;
+		for (i = 0; imp_data80[i].vendor; i++);
 		if ((m->arch.imp_num & 0x7f) >= i) {
-			printf("imp=%d\n",m->arch.imp_num);
+			printf("imp=%d\n", m->arch.imp_num);
 			return;
 		}
 		data = &imp_data80[m->arch.imp_num & 0x7f];
 	} else {
-		for (i=0;imp_data[i].vendor;i++)
-			;
+		for (i = 0; imp_data[i].vendor; i++);
 		if (m->arch.imp_num >= i) {
-			printf("imp=%d\n",m->arch.imp_num);
+			printf("imp=%d\n", m->arch.imp_num);
 			return;
 		}
@@ -128,5 +126,5 @@
 	printf("cpu%d: %s %s (rev=%d.%d, imp=%d)\n",
 		m->id, data->vendor, data->model, m->arch.rev_num >> 4, 
-	       m->arch.rev_num & 0xf, m->arch.imp_num);
+		m->arch.rev_num & 0xf, m->arch.imp_num);
 }
 
Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/mips32/src/debugger.c	(revision 2c448fb8cf0ba4ec2da96ece59966a2ac34eb7ba)
@@ -209,5 +209,5 @@
 	ipl_t ipl;
 
-	if (argv->intval < 0 || argv->intval > BKPOINTS_MAX) {
+	if (argv->intval > BKPOINTS_MAX) {
 		printf("Invalid breakpoint number.\n");
 		return 0;
Index: kernel/arch/mips32/src/drivers/arc.c
===================================================================
--- kernel/arch/mips32/src/drivers/arc.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/mips32/src/drivers/arc.c	(revision 2c448fb8cf0ba4ec2da96ece59966a2ac34eb7ba)
@@ -119,5 +119,5 @@
 {
 	cm_resource_list *configdata;
-	int i;
+	unsigned int i;
 
 	if (!c->configdatasize)
@@ -162,5 +162,5 @@
 static void arc_print_component(arc_component *c)
 {
-	int i;
+	unsigned int i;
 
 	printf("%s: ",ctypes[c->type]);
Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision 2c448fb8cf0ba4ec2da96ece59966a2ac34eb7ba)
@@ -573,5 +573,5 @@
 void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
 {
-	int i;
+	unsigned int i;
 	ipl_t ipl;
 	entry_lo_t lo0, lo1;
@@ -584,5 +584,5 @@
 	ipl = interrupts_disable();
 
-	for (i = 0; i < cnt+1; i+=2) {
+	for (i = 0; i < cnt + 1; i += 2) {
 		hi.value = 0;
 		prepare_entry_hi(&hi, asid, page + i * PAGE_SIZE);