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(); |