| /branches/sparc/kernel/generic/src/main/kinit.c |
|---|
| 190,7 → 190,7 |
| printf("Init binary %" PRIc " not used (error %d)\n", i, rd); |
| } |
| } |
| /* |
| * Run user tasks with reasonable delays |
| */ |
| 200,6 → 200,7 |
| program_ready(&programs[i]); |
| } |
| } |
| #ifdef CONFIG_KCONSOLE |
| if (!stdin) { |
| printf("kinit: No stdin\nKernel alive: "); |
| /branches/sparc/kernel/generic/src/mm/tlb.c |
|---|
| 84,6 → 84,7 |
| unsigned int i; |
| CPU->tlb_active = 0; |
| spinlock_lock(&tlblock); |
| for (i = 0; i < config.cpu_count; i++) { |
| 118,11 → 119,11 |
| } |
| tlb_shootdown_ipi_send(); |
| busy_wait: |
| for (i = 0; i < config.cpu_count; i++) |
| for (i = 0; i < config.cpu_count; i++) { |
| if (cpus[i].tlb_active) |
| goto busy_wait; |
| } |
| } |
| /** Finish TLB shootdown sequence. */ |