1c4b3f46cSAnton Johansson /* Define vaddr. */ 2c4b3f46cSAnton Johansson 3c4b3f46cSAnton Johansson #ifndef VADDR_H 4c4b3f46cSAnton Johansson #define VADDR_H 5c4b3f46cSAnton Johansson 6c4b3f46cSAnton Johansson /** 7c4b3f46cSAnton Johansson * vaddr: 8c4b3f46cSAnton Johansson * Type wide enough to contain any #target_ulong virtual address. 9*a70af12aSRichard Henderson * We do not support 64-bit guest on 32-host and detect at configure time. 10*a70af12aSRichard Henderson * Therefore, a host pointer width will always fit a guest pointer. 11c4b3f46cSAnton Johansson */ 12*a70af12aSRichard Henderson typedef uintptr_t vaddr; 13*a70af12aSRichard Henderson #define VADDR_PRId PRIdPTR 14*a70af12aSRichard Henderson #define VADDR_PRIu PRIuPTR 15*a70af12aSRichard Henderson #define VADDR_PRIo PRIoPTR 16*a70af12aSRichard Henderson #define VADDR_PRIx PRIxPTR 17*a70af12aSRichard Henderson #define VADDR_PRIX PRIXPTR 18*a70af12aSRichard Henderson #define VADDR_MAX UINTPTR_MAX 19c4b3f46cSAnton Johansson 20c4b3f46cSAnton Johansson #endif 21