Home
last modified time | relevance | path

Searched defs:___DEFINE_VKI_XEN_GUEST_HANDLE (Results 1 – 1 of 1) sorted by relevance

/external/valgrind/include/vki/
Dvki-xen-x86.h32 #define ___DEFINE_VKI_XEN_GUEST_HANDLE(name, type) \ macro
41 #define ___DEFINE_VKI_XEN_GUEST_HANDLE(name, type) \ macro