Rev 1821 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1821 | Rev 1827 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | #include <arch/mm/memory_init.h> |
35 | #include <arch/mm/memory_init.h> |
36 | #include <arch/mm/page.h> |
36 | #include <arch/mm/page.h> |
37 | #include <arch/boot/boot.h> |
37 | #include <arch/boot/boot.h> |
38 | #include <print.h> |
38 | #include <print.h> |
- | 39 | #include <mm/frame.h> |
|
39 | 40 | ||
40 | size_t get_memory_size(void) |
41 | size_t get_memory_size(void) |
41 | { |
42 | { |
42 | return start_info.frames * PAGE_SIZE; |
43 | return start_info.frames * PAGE_SIZE; |
43 | } |
44 | } |
44 | 45 | ||
45 | void memory_print_map(void) |
46 | void memory_print_map(void) |
46 | { |
47 | { |
- | 48 | printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved)); |
|
47 | } |
49 | } |
48 | 50 | ||
49 | 51 | ||
50 | /** @} |
52 | /** @} |
51 | */ |
53 | */ |