Rev 1221 | Rev 1229 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1221 | Rev 1224 | ||
|---|---|---|---|
| Line 174... | Line 174... | ||
| 174 | page_init(); |
174 | page_init(); |
| 175 | tlb_init(); |
175 | tlb_init(); |
| 176 | arch_post_mm_init(); |
176 | arch_post_mm_init(); |
| 177 | 177 | ||
| 178 | version_print(); |
178 | version_print(); |
| 179 | printf("%#zx: hardcoded_ktext_size=%zdK, hardcoded_kdata_size=%zdK\n", config.base, hardcoded_ktext_size / 1024, hardcoded_kdata_size / 1024); |
179 | printf("%.*p: hardcoded_ktext_size=%zdK, hardcoded_kdata_size=%zdK\n", sizeof(__address) * 2, config.base, hardcoded_ktext_size / 1024, hardcoded_kdata_size / 1024); |
| 180 | 180 | ||
| 181 | arch_pre_smp_init(); |
181 | arch_pre_smp_init(); |
| 182 | smp_init(); |
182 | smp_init(); |
| 183 | 183 | ||
| 184 | slab_enable_cpucache(); /* Slab must be initialized AFTER we know the number of processors */ |
184 | slab_enable_cpucache(); /* Slab must be initialized AFTER we know the number of processors */ |
| Line 193... | Line 193... | ||
| 193 | task_init(); |
193 | task_init(); |
| 194 | thread_init(); |
194 | thread_init(); |
| 195 | futex_init(); |
195 | futex_init(); |
| 196 | 196 | ||
| 197 | for (i = 0; i < init.cnt; i++) |
197 | for (i = 0; i < init.cnt; i++) |
| 198 | printf("init[%zd].addr=%p, init[%zd].size=%zd\n", i, init.tasks[i].addr, i, init.tasks[i].size); |
198 | printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(__address)*2, init.tasks[i].addr, i, init.tasks[i].size); |
| 199 | 199 | ||
| 200 | ipc_init(); |
200 | ipc_init(); |
| 201 | 201 | ||
| 202 | /* |
202 | /* |
| 203 | * Create kernel task. |
203 | * Create kernel task. |