Searched refs:max_vcpu_id (Results 1 – 19 of 19) sorted by relevance
247 || scinfo->cap > (domaininfo.max_vcpu_id + 1) * 100) { in sched_credit_domain_set()250 ((domaininfo.max_vcpu_id + 1) * 100)); in sched_credit_domain_set()445 || scinfo->cap > (info.max_vcpu_id + 1) * 100) { in sched_credit2_domain_set()448 ((info.max_vcpu_id + 1) * 100)); in sched_credit2_domain_set()514 scinfo->vcpus[i].vcpuid > info.max_vcpu_id) { in sched_rtds_vcpu_get()517 info.max_vcpu_id); in sched_rtds_vcpu_get()564 num_vcpus = info.max_vcpu_id + 1; in sched_rtds_vcpu_get_all()609 max_vcpuid = info.max_vcpu_id; in sched_rtds_vcpu_set()670 max_vcpuid = info.max_vcpu_id; in sched_rtds_vcpu_set_all()
147 hvminfo->nr_vcpus = info.max_vcpu_id + 1; in init_acpi_config()
289 xlinfo->vcpu_max_id = xcinfo->max_vcpu_id; in libxl__xcinfo2xlinfo()1212 if (domaininfo.max_vcpu_id == XEN_INVALID_MAX_VCPU_ID) { in libxl_list_vcpu()1218 ret = ptr = libxl__calloc(NOGC, domaininfo.max_vcpu_id + 1, in libxl_list_vcpu()1222 *nr_vcpus_out <= domaininfo.max_vcpu_id; in libxl_list_vcpu()
74 max_vcpu_id : int; RecordField303 let ctxt = Array.make info.max_vcpu_id None in305 for i = 0 to info.max_vcpu_id - 1337 for i = 0 to info.max_vcpu_id - 1
66 max_vcpu_id : int; RecordField
313 Store_field(result, 13, Val_int(info->max_vcpu_id)); in alloc_domaininfo()
63 self.max_vcpu_id = 0401 vm.max_vcpu_id = max_id415 % (vm.max_vcpu_id, vm.online_vcpu_map))
240 for ( i = 1; i <= info.max_vcpu_id; i++ ) in xc_domain_resume_any()
496 ctxt = calloc(sizeof(*ctxt), info.max_vcpu_id + 1); in xc_domain_dumpcore_via_callback()503 for ( i = 0; i <= info.max_vcpu_id; i++ ) in xc_domain_dumpcore_via_callback()
770 for ( i = 0; i <= ctx->dominfo.max_vcpu_id; ++i ) in write_all_vcpu_information()
1039 ctx->x86_pv.restore.nr_vcpus = ctx->dominfo.max_vcpu_id + 1; in x86_pv_setup()
422 info->max_vcpu_id = domctl.u.getdomaininfo.max_vcpu_id; in xc_domain_getinfo()
160 info->max_vcpu_id = XEN_INVALID_MAX_VCPU_ID; in getdomaininfo()172 info->max_vcpu_id = v->vcpu_id; in getdomaininfo()
115 uint32_t max_vcpu_id; /* Maximum VCPUID in use by this domain. */ member
248 domain->num_vcpus = (domaininfo[i].max_vcpu_id+1); in xenstat_get_node()
310 _max_vcpu_id = domctl.u.getdomaininfo.max_vcpu_id; in xg_attach()
1044 for (vcpu = 0; vcpu <= xenctx.dominfo.max_vcpu_id; vcpu++) in dump_all_vcpus()
456 unsigned int max_vcpu_id; member
351 "max_vcpu_id", info[i].max_vcpu_id, in pyxc_domain_getinfo()
Completed in 47 milliseconds