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 |