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", |