Searched refs:max_vcpuid (Results 1 – 3 of 3) sorted by relevance
29 extern vcpuid_t max_vcpuid;140 for (i=0; i <= max_vcpuid; i++) in gx_local_cmd()
42 vcpuid_t max_vcpuid; /* so max_vcpuid+1 vcpus overall */ variable141 for (vid=1; vid <= max_vcpuid; vid++) { in process_q_request()652 if ((max_vcpuid=xg_attach(domid, guest_bitness)) == -1) { in main()658 if (vcpuid != -1 && vcpuid > max_vcpuid) { /* just got set */ in main()
608 uint16_t max_vcpuid; in sched_rtds_vcpu_set() local618 max_vcpuid = info.max_vcpu_id; in sched_rtds_vcpu_set()626 scinfo->vcpus[i].vcpuid > max_vcpuid) { in sched_rtds_vcpu_set()628 scinfo->vcpus[i].vcpuid, max_vcpuid); in sched_rtds_vcpu_set()668 uint16_t max_vcpuid; in sched_rtds_vcpu_set_all() local679 max_vcpuid = info.max_vcpu_id; in sched_rtds_vcpu_set_all()690 num_vcpus = max_vcpuid + 1; in sched_rtds_vcpu_set_all()
Completed in 11 milliseconds