Searched refs:xen_domctl_vcpucontext_t (Results 1 – 1 of 1) sorted by relevance
255 typedef struct xen_domctl_vcpucontext xen_domctl_vcpucontext_t; typedef256 DEFINE_XEN_GUEST_HANDLE(xen_domctl_vcpucontext_t);