| 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
|
|---|
