20 lines
480 B
C
20 lines
480 B
C
/* Define vaddr. */
|
|
|
|
#ifndef VADDR_H
|
|
#define VADDR_H
|
|
|
|
/**
|
|
* vaddr:
|
|
* Type wide enough to contain any #target_ulong virtual address.
|
|
* We do not support 64-bit guest on 32-host and detect at configure time.
|
|
* Therefore, a host pointer width will always fit a guest pointer.
|
|
*/
|
|
typedef uintptr_t vaddr;
|
|
#define VADDR_PRId PRIdPTR
|
|
#define VADDR_PRIu PRIuPTR
|
|
#define VADDR_PRIo PRIoPTR
|
|
#define VADDR_PRIx PRIxPTR
|
|
#define VADDR_PRIX PRIXPTR
|
|
#define VADDR_MAX UINTPTR_MAX
|
|
|
|
#endif
|