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 8 be different from 'target_ulong'). */ 9 10#if TARGET_PHYS_ADDR_BITS == 32 11typedef 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 15typedef 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 22