| 56,7 → 56,7 |
|---|
| * |
| */ |
| void cpu_init(void) { |
| int i, j; |
| unsigned int i, j; |
| |
| #ifdef CONFIG_SMP |
| if (config.cpu_active == 1) { |
| 69,7 → 69,7 |
|---|
| /* initialize everything */ |
| memsetb((uintptr_t) cpus, sizeof(cpu_t) * config.cpu_count, 0); |
| |
| for (i=0; i < config.cpu_count; i++) { |
| for (i = 0; i < config.cpu_count; i++) { |
| cpus[i].stack = (uint8_t *) frame_alloc(STACK_FRAMES, FRAME_KA | FRAME_ATOMIC); |
| |
| cpus[i].id = i; |
| 98,7 → 98,7 |
|---|
| /** List all processors. */ |
| void cpu_list(void) |
| { |
| int i; |
| unsigned int i; |
| |
| for (i = 0; i < config.cpu_count; i++) { |
| if (cpus[i].active) |