David 'Digit' Turner | 5d8f37a | 2009-09-14 14:32:27 -0700 | [diff] [blame] | 1 | /* Define target_phys_addr_t if it exists. */ |
| 2 | |
| 3 | #ifndef TARGPHYS_H |
| 4 | #define TARGPHYS_H |
| 5 | |
| 6 | #ifdef TARGET_PHYS_ADDR_BITS |
| 7 | /* target_phys_addr_t is the type of a physical address (its size can |
David Turner | fd4c007 | 2010-09-09 21:23:36 +0200 | [diff] [blame] | 8 | be different from 'target_ulong'). */ |
David 'Digit' Turner | 5d8f37a | 2009-09-14 14:32:27 -0700 | [diff] [blame] | 9 | |
| 10 | #if TARGET_PHYS_ADDR_BITS == 32 |
| 11 | typedef uint32_t target_phys_addr_t; |
| 12 | #define TARGET_PHYS_ADDR_MAX UINT32_MAX |
| 13 | #define TARGET_FMT_plx "%08x" |
| 14 | #elif TARGET_PHYS_ADDR_BITS == 64 |
| 15 | typedef uint64_t target_phys_addr_t; |
| 16 | #define TARGET_PHYS_ADDR_MAX UINT64_MAX |
| 17 | #define TARGET_FMT_plx "%016" PRIx64 |
| 18 | #endif |
| 19 | #endif |
| 20 | |
| 21 | #endif |