Rev 2089 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2089 | Rev 2723 | ||
---|---|---|---|
Line 40... | Line 40... | ||
40 | size_t get_memory_size(void) |
40 | size_t get_memory_size(void) |
41 | { |
41 | { |
42 | return start_info.frames * PAGE_SIZE; |
42 | return start_info.frames * PAGE_SIZE; |
43 | } |
43 | } |
44 | 44 | ||
45 | void memory_print_map(void) |
- | |
46 | { |
- | |
47 | printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved)); |
- | |
48 | } |
- | |
49 | - | ||
50 | /** @} |
45 | /** @} |
51 | */ |
46 | */ |