WebSVN – HelenOS – Path Comparison – / – /trunk/kernel/arch/mips32 Rev 2725 and /trunk/kernel/arch/mips32 Rev 2745

Ignore whitespace Rev 2725 → Rev 2745

 /trunk/kernel/arch/mips32/src/cpu/cpu.c
 ,22 → 104,20
 void cpu_print_report(cpu_t *m)
 {
     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;
         }
         data = &imp_data[m->arch.imp_num];
 ,7 → 125,7
     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);
 }
 /** @}

 /trunk/kernel/arch/mips32/src/debugger.c
 ,7 → 208,7
     bpinfo_t *cur;
     ipl_t ipl;
-    if (argv->intval < 0 || argv->intval > BKPOINTS_MAX) {
+    if (argv->intval > BKPOINTS_MAX) {
         printf("Invalid breakpoint number.\n");
         return 0;
     }

 /trunk/kernel/arch/mips32/src/mm/tlb.c
 ,7 → 572,7
  */
 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;
     entry_hi_t hi, hi_save;
 ,7 → 583,7
     hi_save.value = cp0_entry_hi_read();
     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);
         cp0_entry_hi_write(hi.value);

 /trunk/kernel/arch/mips32/src/drivers/arc.c
 ,7 → 118,7
 static void arc_print_confdata(arc_component *c)
 {
     cm_resource_list *configdata;
-    int i;
+    unsigned int i;
     if (!c->configdatasize)
         return; /* No configuration data */
 ,7 → 161,7
 /** Print information about component */
 static void arc_print_component(arc_component *c)
 {
-    int i;
+    unsigned int i;
     printf("%s: ",ctypes[c->type]);
     for (i = 0; i < c->identifier_len; i++)