Rev 757 | Rev 773 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 757 | Rev 759 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | #include <mm/frame.h> |
47 | #include <mm/frame.h> |
| 48 | #include <mm/page.h> |
48 | #include <mm/page.h> |
| 49 | #include <genarch/mm/page_pt.h> |
49 | #include <genarch/mm/page_pt.h> |
| 50 | #include <mm/tlb.h> |
50 | #include <mm/tlb.h> |
| 51 | #include <mm/as.h> |
51 | #include <mm/as.h> |
| - | 52 | #include <mm/slab.h> |
|
| 52 | #include <synch/waitq.h> |
53 | #include <synch/waitq.h> |
| 53 | #include <arch/arch.h> |
54 | #include <arch/arch.h> |
| 54 | #include <arch.h> |
55 | #include <arch.h> |
| 55 | #include <arch/faddr.h> |
56 | #include <arch/faddr.h> |
| 56 | #include <typedefs.h> |
57 | #include <typedefs.h> |
| Line 160... | Line 161... | ||
| 160 | early_heap_init(config.heap_addr, config.heap_size + config.heap_delta); |
161 | early_heap_init(config.heap_addr, config.heap_size + config.heap_delta); |
| 161 | frame_init(); |
162 | frame_init(); |
| 162 | as_init(); |
163 | as_init(); |
| 163 | page_init(); |
164 | page_init(); |
| 164 | tlb_init(); |
165 | tlb_init(); |
| - | 166 | slab_cache_init(); |
|
| 165 | arch_post_mm_init(); |
167 | arch_post_mm_init(); |
| 166 | 168 | ||
| 167 | version_print(); |
169 | version_print(); |
| 168 | 170 | ||
| 169 | printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
171 | printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |