Home
last modified time | relevance | path

Searched refs:vki_xen_vcpu_guest_context_t (Results 1 – 2 of 2) sorted by relevance

/external/valgrind/include/vki/
Dvki-xen-x86.h123 typedef struct vki_xen_vcpu_guest_context vki_xen_vcpu_guest_context_t; typedef
124 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_vcpu_guest_context_t);
Dvki-xen-domctl.h219 VKI_XEN_GUEST_HANDLE_64(vki_xen_vcpu_guest_context_t) ctxt; /* IN/OUT */