2009-10-01 23:12:16 +02:00
|
|
|
/* Define target_phys_addr_t if it exists. */
|
2009-05-19 17:17:58 +02:00
|
|
|
|
|
|
|
#ifndef TARGPHYS_H
|
|
|
|
#define TARGPHYS_H
|
|
|
|
|
2012-10-12 19:59:44 +02:00
|
|
|
#ifndef CONFIG_USER_ONLY
|
|
|
|
|
2012-10-04 12:36:04 +02:00
|
|
|
#define TARGET_PHYS_ADDR_BITS 64
|
2009-10-01 23:12:16 +02:00
|
|
|
/* target_phys_addr_t is the type of a physical address (its size can
|
2010-04-05 01:28:53 +02:00
|
|
|
be different from 'target_ulong'). */
|
2009-05-19 17:17:58 +02:00
|
|
|
|
2009-10-01 23:12:16 +02:00
|
|
|
typedef uint64_t target_phys_addr_t;
|
2009-05-22 23:51:45 +02:00
|
|
|
#define TARGET_PHYS_ADDR_MAX UINT64_MAX
|
2009-05-19 17:17:58 +02:00
|
|
|
#define TARGET_FMT_plx "%016" PRIx64
|
2012-06-25 17:52:21 +02:00
|
|
|
#define TARGET_PRIdPHYS PRId64
|
|
|
|
#define TARGET_PRIiPHYS PRIi64
|
|
|
|
#define TARGET_PRIoPHYS PRIo64
|
|
|
|
#define TARGET_PRIuPHYS PRIu64
|
|
|
|
#define TARGET_PRIxPHYS PRIx64
|
|
|
|
#define TARGET_PRIXPHYS PRIX64
|
2009-05-19 17:17:58 +02:00
|
|
|
|
|
|
|
#endif
|
2012-10-12 19:59:44 +02:00
|
|
|
|
|
|
|
#endif
|