Searched defs:max_vcpuid (Results 1 – 2 of 2) sorted by relevance
599 uint16_t max_vcpuid; in sched_rtds_vcpu_set() local659 uint16_t max_vcpuid; in sched_rtds_vcpu_set_all() local
41 vcpuid_t max_vcpuid; /* so max_vcpuid+1 vcpus overall */ variable
Completed in 4 milliseconds