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