Rev 2071 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2723 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | */ |
34 | */ |
35 | 35 | ||
36 | #include <mm/frame.h> |
36 | #include <mm/frame.h> |
37 | #include <config.h> |
37 | #include <config.h> |
38 | 38 | ||
- | 39 | void physmem_print(void) |
|
- | 40 | { |
|
- | 41 | printf("Base Size Reserved\n"); |
|
- | 42 | printf("---------- ---------- ---------\n"); |
|
- | 43 | printf("%#10x %#10x %#10x\n", PFN2ADDR(meminfo.start), |
|
- | 44 | PFN2ADDR(meminfo.size), PFN2ADDR(meminfo.reserved)); |
|
- | 45 | } |
|
- | 46 | ||
39 | void frame_arch_init(void) |
47 | void frame_arch_init(void) |
40 | { |
48 | { |
41 | if (config.cpu_active == 1) { |
49 | if (config.cpu_active == 1) { |
42 | /* The only memory zone */ |
50 | /* The only memory zone */ |
43 | zone_create(meminfo.start, meminfo.size, meminfo.start + meminfo.reserved, 0); |
51 | zone_create(meminfo.start, meminfo.size, meminfo.start + meminfo.reserved, 0); |