Rev 1840 | Go to most recent revision | 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 | */ |