Rev 654 | Rev 703 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 654 | Rev 673 | ||
|---|---|---|---|
| Line 67... | Line 67... | ||
| 67 | * @param arg Not used. |
67 | * @param arg Not used. |
| 68 | */ |
68 | */ |
| 69 | void kinit(void *arg) |
69 | void kinit(void *arg) |
| 70 | { |
70 | { |
| 71 | thread_t *t; |
71 | thread_t *t; |
| 72 | int i; |
- | |
| 73 | #ifdef CONFIG_USERSPACE |
72 | #ifdef CONFIG_USERSPACE |
| 74 | vm_t *m; |
73 | vm_t *m; |
| 75 | vm_area_t *a; |
74 | vm_area_t *a; |
| 76 | task_t *u; |
75 | task_t *u; |
| 77 | #endif |
76 | #endif |
| Line 98... | Line 97... | ||
| 98 | } |
97 | } |
| 99 | #endif /* CONFIG_SMP */ |
98 | #endif /* CONFIG_SMP */ |
| 100 | /* |
99 | /* |
| 101 | * Now that all CPUs are up, we can report what we've found. |
100 | * Now that all CPUs are up, we can report what we've found. |
| 102 | */ |
101 | */ |
| 103 | for (i = 0; i < config.cpu_count; i++) { |
- | |
| 104 | if (cpus[i].active) |
102 | cpu_list(); |
| 105 | cpu_print_report(&cpus[i]); |
- | |
| 106 | else |
- | |
| 107 | printf("cpu%d: not active\n", i); |
- | |
| 108 | } |
- | |
| 109 | 103 | ||
| 110 | #ifdef CONFIG_SMP |
104 | #ifdef CONFIG_SMP |
| 111 | if (config.cpu_count > 1) { |
105 | if (config.cpu_count > 1) { |
| - | 106 | int i; |
|
| - | 107 | ||
| 112 | /* |
108 | /* |
| 113 | * For each CPU, create its load balancing thread. |
109 | * For each CPU, create its load balancing thread. |
| 114 | */ |
110 | */ |
| 115 | for (i = 0; i < config.cpu_count; i++) { |
111 | for (i = 0; i < config.cpu_count; i++) { |
| 116 | 112 | ||