| /kernel/trunk/generic/src/main/kinit.c |
|---|
| 69,7 → 69,6 |
| void kinit(void *arg) |
| { |
| thread_t *t; |
| int i; |
| #ifdef CONFIG_USERSPACE |
| vm_t *m; |
| vm_area_t *a; |
| 100,15 → 99,12 |
| /* |
| * Now that all CPUs are up, we can report what we've found. |
| */ |
| for (i = 0; i < config.cpu_count; i++) { |
| if (cpus[i].active) |
| cpu_print_report(&cpus[i]); |
| else |
| printf("cpu%d: not active\n", i); |
| } |
| cpu_list(); |
| #ifdef CONFIG_SMP |
| if (config.cpu_count > 1) { |
| int i; |
| /* |
| * For each CPU, create its load balancing thread. |
| */ |