Searched refs:primary_num_cpus (Results 1 – 1 of 1) sorted by relevance
2792 uint64_t num_cpus = 0, primary_num_cpus = 0; in build_config() local2812 primary_num_cpus = domain->vcpu; in build_config()2819 if (primary_num_cpus == 0 && total_cpus > num_cpus) in build_config()2820 primary_num_cpus = total_cpus - num_cpus; in build_config()2823 if (num_cpus > total_cpus || primary_num_cpus == 0) in build_config()2847 for (i = 0; i < primary_num_cpus; i++) in build_config()