Rev 1840 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1840 | Rev 1888 | ||
---|---|---|---|
Line 46... | Line 46... | ||
46 | void memory_print_map(void) |
46 | void memory_print_map(void) |
47 | { |
47 | { |
48 | printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved)); |
48 | printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved)); |
49 | } |
49 | } |
50 | 50 | ||
51 | - | ||
52 | /** @} |
51 | /** @} |
53 | */ |
52 | */ |