HomeSort by relevance Sort by last modified time
    Searched refs:__DEFINE_VKI_XEN_GUEST_HANDLE (Results 1 - 2 of 2) sorted by null

  /external/valgrind/include/vki/
vki-xen.h 73 #define __DEFINE_VKI_XEN_GUEST_HANDLE(name, type) \
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)
    [all...]
vki-xen-x86.h 44 #define __DEFINE_VKI_XEN_GUEST_HANDLE(name, type) \
47 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name)

Completed in 973 milliseconds