| /* Define target_phys_addr_t if it exists. */ |
| |
| #ifndef TARGPHYS_H |
| #define TARGPHYS_H |
| |
| #ifdef TARGET_PHYS_ADDR_BITS |
| /* target_phys_addr_t is the type of a physical address (its size can |
| be different from 'target_ulong'). */ |
| |
| #if TARGET_PHYS_ADDR_BITS == 32 |
| typedef uint32_t target_phys_addr_t; |
| #define TARGET_PHYS_ADDR_MAX UINT32_MAX |
| #define TARGET_FMT_plx "%08x" |
| #elif TARGET_PHYS_ADDR_BITS == 64 |
| typedef uint64_t target_phys_addr_t; |
| #define TARGET_PHYS_ADDR_MAX UINT64_MAX |
| #define TARGET_FMT_plx "%016" PRIx64 |
| #endif |
| #endif |
| |
| #endif |
