Lines Matching full:vcpus

155     uint32_t nr_online_vcpus;    /* Number of VCPUs currently online. */
156 #define XEN_INVALID_MAX_VCPU_ID (~0U) /* Domain has no vcpus? */
359  * still required in the short term to allocate the vcpus themselves.
362     uint32_t max;           /* maximum number of vcpus */
407  *  XEN_DOMCTL_SCHEDOP_putinfo sets params for all vcpus;
409  *  XEN_DOMCTL_SCHEDOP_put(get)vcpuinfo sets (gets) params of vcpus;
412  *  XEN_DOMCTL_SCHEDOP_putinfo sets params for all vcpus;
429             XEN_GUEST_HANDLE_64(xen_domctl_schedparam_vcpu_t) vcpus;
431              * IN: Number of elements in vcpus array.
432              * OUT: Number of processed elements of vcpus array.
854  * vcpus that could not unshare.
986      * IN: number of vCPUs of the domain (used as size of the vcpu_to_vnode
1043  * to ensure all vCPUs have resumed before it is safe to turn it off.