Searched refs:__DEFINE_VKI_XEN_GUEST_HANDLE (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/include/vki/ |
| D | vki-xen.h | 73 #define __DEFINE_VKI_XEN_GUEST_HANDLE(name, type) \ macro
76 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name)
91 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_ulong, unsigned long);
93 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int16, vki_int16_t);
94 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int32, vki_int32_t);
95 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int64, vki_int64_t);
97 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint8, vki_uint8_t);
98 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint16, vki_uint16_t);
99 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint32, vki_uint32_t);
100 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint64, vki_uint64_t);
|
| D | vki-xen-x86.h | 44 #define __DEFINE_VKI_XEN_GUEST_HANDLE(name, type) \ macro
47 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name)
|