Anthony Liguori | c227f09 | 2009-10-01 16:12:16 -0500 | [diff] [blame] | 1 | /* Define target_phys_addr_t if it exists. */ |
Paul Brook | 1ad2134 | 2009-05-19 16:17:58 +0100 | [diff] [blame] | 2 | |
| 3 | #ifndef TARGPHYS_H |
| 4 | #define TARGPHYS_H |
| 5 | |
| 6 | #ifdef TARGET_PHYS_ADDR_BITS |
Anthony Liguori | c227f09 | 2009-10-01 16:12:16 -0500 | [diff] [blame] | 7 | /* target_phys_addr_t is the type of a physical address (its size can |
Paul Brook | 355b194 | 2010-04-05 00:28:53 +0100 | [diff] [blame] | 8 | be different from 'target_ulong'). */ |
Paul Brook | 1ad2134 | 2009-05-19 16:17:58 +0100 | [diff] [blame] | 9 | |
| 10 | #if TARGET_PHYS_ADDR_BITS == 32 |
Anthony Liguori | c227f09 | 2009-10-01 16:12:16 -0500 | [diff] [blame] | 11 | typedef uint32_t target_phys_addr_t; |
Jan Kiszka | 9fa0638 | 2009-05-22 23:51:45 +0200 | [diff] [blame] | 12 | #define TARGET_PHYS_ADDR_MAX UINT32_MAX |
Paul Brook | 1ad2134 | 2009-05-19 16:17:58 +0100 | [diff] [blame] | 13 | #define TARGET_FMT_plx "%08x" |
| 14 | #elif TARGET_PHYS_ADDR_BITS == 64 |
Anthony Liguori | c227f09 | 2009-10-01 16:12:16 -0500 | [diff] [blame] | 15 | typedef uint64_t target_phys_addr_t; |
Jan Kiszka | 9fa0638 | 2009-05-22 23:51:45 +0200 | [diff] [blame] | 16 | #define TARGET_PHYS_ADDR_MAX UINT64_MAX |
Paul Brook | 1ad2134 | 2009-05-19 16:17:58 +0100 | [diff] [blame] | 17 | #define TARGET_FMT_plx "%016" PRIx64 |
| 18 | #endif |
| 19 | #endif |
| 20 | |
| 21 | #endif |