Searched refs:max_vcpu_index (Results 1 – 1 of 1) sorted by relevance
249 static uint32_t max_vcpu_index; variable1851 for (i = 0; i <= max_vcpu_index; i++) { in whpx_vcpu_run()2241 max_vcpu_index = max(max_vcpu_index, cpu->cpu_index); in whpx_init_vcpu()