/trunk/kernel/arch/mips32/src/cpu/cpu.c |
---|
104,12 → 104,11 |
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); |
return; |
116,8 → 115,7 |
} |
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); |
return; |
/trunk/kernel/arch/mips32/src/debugger.c |
---|
208,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 |
---|
572,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; |
/trunk/kernel/arch/mips32/src/drivers/arc.c |
---|
118,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 */ |
161,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++) |