__vm_vcpu_add
vcpu0 = __vm_vcpu_add(vm, 0);
vcpu1 = __vm_vcpu_add(vm, 1);
vcpu0 = __vm_vcpu_add(vm, 0);
vcpu1 = __vm_vcpu_add(vm, 1);
vcpu = __vm_vcpu_add(vm, 0);
return __vm_vcpu_add(vm, 0);
struct kvm_vcpu *__vm_vcpu_add(struct kvm_vm *vm, uint32_t vcpu_id);
vcpus[i * max_vcpu + j] = __vm_vcpu_add(vms[i], j);
__vm_vcpu_add(vm, i);
struct kvm_vcpu *vcpu = __vm_vcpu_add(vm, vcpu_id);
return __vm_vcpu_add(vm, vcpu_id);
vcpu = __vm_vcpu_add(vm, vcpu_id);
vcpu = __vm_vcpu_add(vm, vcpu_id);
vcpu = __vm_vcpu_add(vm, vcpu_id);
vcpu = __vm_vcpu_add(vm, vcpu_id);
struct kvm_vcpu *vcpu = __vm_vcpu_add(vm, vcpu_id);
vcpu = __vm_vcpu_add(vm, 0);
vcpu = __vm_vcpu_add(vm, 0);
vcpu = __vm_vcpu_add(vm, 0);
vcpu = __vm_vcpu_add(vm, 0);
__vm_vcpu_add(sev_es_vm_no_vmsa, 1);
__vm_vcpu_add(dst_vm, i);
__vm_vcpu_add(vm, i);
__vm_vcpu_add(vm, i);
vcpuN = __vm_vcpu_add(vm, vcpu->id + 1);