Searched refs:max_cpu_index (Results 1 – 2 of 2) sorted by relevance
64 int max_cpu_index = 0; in cpu_get_free_index() local67 if (some_cpu->cpu_index >= max_cpu_index) { in cpu_get_free_index()68 max_cpu_index = some_cpu->cpu_index + 1; in cpu_get_free_index()71 return max_cpu_index; in cpu_get_free_index()
56 static unsigned int max_cpu_index; variable128 g_assert(num_cpus == max_cpu_index + 1); in plugin_exit()182 max_cpu_index = MAX(max_cpu_index, cpu_index); in vcpu_tb_exec()