/* 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 |