targphys.h

   1 /* Define target_phys_addr_t if it exists.  */
   2
   3 #ifndef TARGPHYS_H
   4 #define TARGPHYS_H
   5
   6 #ifndef CONFIG_USER_ONLY
   7
   8 #define TARGET_PHYS_ADDR_BITS 64
   9 /* target_phys_addr_t is the type of a physical address (its size can
  10    be different from 'target_ulong').  */
  11
  12 typedef uint64_t target_phys_addr_t;
  13 #define TARGET_PHYS_ADDR_MAX UINT64_MAX
  14 #define TARGET_FMT_plx "%016" PRIx64
  15 #define TARGET_PRIdPHYS PRId64
  16 #define TARGET_PRIiPHYS PRIi64
  17 #define TARGET_PRIoPHYS PRIo64
  18 #define TARGET_PRIuPHYS PRIu64
  19 #define TARGET_PRIxPHYS PRIx64
  20 #define TARGET_PRIXPHYS PRIX64
  21
  22 #endif
  23
  24 #endif