Symbol: xen_domctl_max_vcpus
usr/src/uts/common/xen/public/domctl.h
289
typedef struct xen_domctl_max_vcpus xen_domctl_max_vcpus_t;
usr/src/uts/common/xen/public/domctl.h
662
struct xen_domctl_max_vcpus max_vcpus;