Rev 32 | Rev 37 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 32 | Rev 34 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <cpu.h> |
39 | #include <cpu.h> |
40 | #include <mm/heap.h> |
40 | #include <mm/heap.h> |
41 | 41 | ||
42 | #ifdef __SMP__ |
42 | #ifdef __SMP__ |
43 | #include <arch/smp/apic.h> |
43 | #include <arch/smp/apic.h> |
44 | #include <arch/smp/mp.h> |
44 | #include <arch/smp/mps.h> |
45 | #endif /* __SMP__ */ |
45 | #endif /* __SMP__ */ |
46 | 46 | ||
- | 47 | #include <smp/smp.h> |
|
- | 48 | ||
47 | #include <mm/frame.h> |
49 | #include <mm/frame.h> |
48 | #include <mm/page.h> |
50 | #include <mm/page.h> |
49 | #include <mm/tlb.h> |
51 | #include <mm/tlb.h> |
50 | #include <synch/waitq.h> |
52 | #include <synch/waitq.h> |
51 | 53 | ||
Line 115... | Line 117... | ||
115 | printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
117 | printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
116 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
118 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
117 | 119 | ||
118 | arch_late_init(); |
120 | arch_late_init(); |
119 | 121 | ||
- | 122 | smp_init(); |
|
120 | printf("config.cpu_count=%d\n", config.cpu_count); |
123 | printf("config.cpu_count=%d\n", config.cpu_count); |
121 | 124 | ||
122 | cpu_init(); |
125 | cpu_init(); |
123 | calibrate_delay_loop(); |
126 | calibrate_delay_loop(); |
124 | 127 |