Symbol: xen_domctl_getvcpuinfo
usr/src/uts/common/xen/public/domctl.h
270
typedef struct xen_domctl_getvcpuinfo xen_domctl_getvcpuinfo_t;
usr/src/uts/common/xen/public/domctl.h
661
struct xen_domctl_getvcpuinfo getvcpuinfo;