| /trunk/kernel/arch/arm32/src/arm32.c |
|---|
| 55,7 → 55,7 |
| /** Performs arm32 specific initialization before main_bsp() is called. */ |
| void arch_pre_main(void) |
| { |
| int i; |
| unsigned int i; |
| init.cnt = bootinfo.cnt; |
| /trunk/kernel/arch/arm32/src/debug/print.c |
|---|
| 56,10 → 56,10 |
| */ |
| static int debug_write(const char *str, size_t count, void *unused) |
| { |
| int i; |
| for (i = 0; i < count; ++i) { |
| unsigned int i; |
| for (i = 0; i < count; ++i) |
| putc(str[i]); |
| } |
| return i; |
| } |
| /trunk/kernel/arch/arm32/src/cpu/cpu.c |
|---|
| 56,7 → 56,7 |
| }; |
| /** Length of the #imp_data array */ |
| static int imp_data_length = sizeof(imp_data) / sizeof(char *); |
| static unsigned int imp_data_length = sizeof(imp_data) / sizeof(char *); |
| /** Architecture names */ |
| static char *arch_data[] = { |
| 71,7 → 71,7 |
| }; |
| /** Length of the #arch_data array */ |
| static int arch_data_length = sizeof(arch_data) / sizeof(char *); |
| static unsigned int arch_data_length = sizeof(arch_data) / sizeof(char *); |
| /** Retrieves processor identification from CP15 register 0. |