targphys.h

   1 /* Define target_phys_addr_t if it exists.  */
   2
   3 #ifndef TARGPHYS_H
   4 #define TARGPHYS_H
   5
   6 //Change made for compile vio-blk
   7 typedef uint64_t target_phys_addr_t;
   8 #define TARGET_PHYS_ADDR_MAX UINT64_MAX
   9 #define TARGET_FMT_plx "%016" PRIx64
  10
  11 //#ifdef TARGET_PHYS_ADDR_BITS
  12 /* target_phys_addr_t is the type of a physical address (its size can
  13    be different from 'target_ulong').
  14
  15 #if TARGET_PHYS_ADDR_BITS == 32
  16 typedef uint32_t target_phys_addr_t;
  17 #define TARGET_PHYS_ADDR_MAX UINT32_MAX
  18 #define TARGET_FMT_plx "%08x"
  19 #elif TARGET_PHYS_ADDR_BITS == 64
  20 typedef uint64_t target_phys_addr_t;
  21 #define TARGET_PHYS_ADDR_MAX UINT64_MAX
  22 #define TARGET_FMT_plx "%016" PRIx64
  23 #endif
  24 #endif
  25 */
  26
  27
  28 #endif