Symbol: xen_domctl_ext_vcpucontext
usr/src/uts/common/xen/public/domctl.h
564
typedef struct xen_domctl_ext_vcpucontext xen_domctl_ext_vcpucontext_t;
usr/src/uts/common/xen/public/domctl.h
683
struct xen_domctl_ext_vcpucontext ext_vcpucontext;