VMM_MAX_VCPUS_PER_VM
uint8_t vir_vcpu_state[VMM_MAX_VCPUS_PER_VM];
if (vmc->vmc_ncpus > VMM_MAX_VCPUS_PER_VM)
pthread_cond_t vcpu_run_cond[VMM_MAX_VCPUS_PER_VM];
pthread_mutex_t vcpu_run_mtx[VMM_MAX_VCPUS_PER_VM];
pthread_cond_t vcpu_unpause_cond[VMM_MAX_VCPUS_PER_VM];
pthread_mutex_t vcpu_unpause_mtx[VMM_MAX_VCPUS_PER_VM];
uint8_t vcpu_hlt[VMM_MAX_VCPUS_PER_VM];
uint8_t vcpu_done[VMM_MAX_VCPUS_PER_VM];
if (vmc->vmc_ncpus > VMM_MAX_VCPUS_PER_VM) {
uint8_t vir_vcpu_state[VMM_MAX_VCPUS_PER_VM];
uint32_t vm_sev_asid[VMM_MAX_VCPUS_PER_VM];