Rev 1389 | Rev 1595 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1389 | Rev 1434 | ||
|---|---|---|---|
| Line 195... | Line 195... | ||
| 195 | btree_init(); |
195 | btree_init(); |
| 196 | as_init(); |
196 | as_init(); |
| 197 | page_init(); |
197 | page_init(); |
| 198 | tlb_init(); |
198 | tlb_init(); |
| 199 | config.mm_initialized = true; |
199 | config.mm_initialized = true; |
| 200 | arch_post_mm_init(); |
200 | arch_post_mm_init(); |
| 201 | 201 | ||
| 202 | version_print(); |
202 | version_print(); |
| 203 | printf("%.*p: hardcoded_ktext_size=%zdK, hardcoded_kdata_size=%zdK\n", sizeof(__address) * 2, config.base, hardcoded_ktext_size >> 10, hardcoded_kdata_size >> 10); |
203 | printf("%.*p: hardcoded_ktext_size=%zdK, hardcoded_kdata_size=%zdK\n", sizeof(__address) * 2, config.base, hardcoded_ktext_size >> 10, hardcoded_kdata_size >> 10); |
| 204 | 204 | ||
| 205 | arch_pre_smp_init(); |
205 | arch_pre_smp_init(); |
| Line 210... | Line 210... | ||
| 210 | printf("config.memory_size=%zdM\n", config.memory_size >> 20); |
210 | printf("config.memory_size=%zdM\n", config.memory_size >> 20); |
| 211 | printf("config.cpu_count=%zd\n", config.cpu_count); |
211 | printf("config.cpu_count=%zd\n", config.cpu_count); |
| 212 | cpu_init(); |
212 | cpu_init(); |
| 213 | 213 | ||
| 214 | calibrate_delay_loop(); |
214 | calibrate_delay_loop(); |
| - | 215 | clock_counter_init(); |
|
| 215 | timeout_init(); |
216 | timeout_init(); |
| 216 | scheduler_init(); |
217 | scheduler_init(); |
| 217 | task_init(); |
218 | task_init(); |
| 218 | thread_init(); |
219 | thread_init(); |
| 219 | futex_init(); |
220 | futex_init(); |