Symbol: xen_domctl_vcpucontext
usr/src/uts/common/xen/public/domctl.h
255
typedef struct xen_domctl_vcpucontext xen_domctl_vcpucontext_t;
usr/src/uts/common/xen/public/domctl.h
660
struct xen_domctl_vcpucontext vcpucontext;