Searched refs:max_cpu_index (Results 1 – 1 of 1) sorted by relevance
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()