targphys.h

   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
  11 typedef 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
  15 typedef 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