vcpu_args_set
vcpu_args_set(*vcpu, 1, timer);
vcpu_args_set(vcpu, 3, bpn, wpn, ctx_bpn);
vcpu_args_set(vcpu, 1, test_cnt);
vcpu_args_set(vcpu, 1, test);
vcpu_args_set(source, 1, target_mpidr & MPIDR_HWID_BITMASK);
vcpu_args_set(vcpu, 2, PSCI_0_2_FN_PSCI_VERSION, conduit);
vcpu_args_set(vcpu, 2, PSCI_0_2_FN_PSCI_VERSION, conduit);
vcpu_args_set(vcpus[0], 2, args_gva, 0);
vcpu_args_set(vcpus[1], 2, args_gva, 1);
vcpu_args_set(vcpu, 1, args_gva);
vcpu_args_set(vcpu, 1, pmcr_n);
vcpu_args_set(vcpu, 1, &kvm_builtin_io_ring);
vcpu_args_set(vcpu, 2, gpa, size);
void vcpu_args_set(struct kvm_vcpu *vcpu, unsigned int num, ...);
vcpu_args_set(vcpu, 1, do_write);
vcpu_args_set(vcpus[i], 1, i);
vcpu_args_set(vcpus[vcpu_id], 2, nested_gva, vcpu_id);
vcpu_args_set(vcpu, 3, info->start_gpa, info->end_gpa, vm->page_size);
vcpu_args_set(vcpu, 1, gva);
vcpu_args_set(vcpus[i], 1, i);
vcpu_args_set(vcpu, 3, amx_cfg, tiledata, xstate);
vcpu_args_set(vcpu, 1, nested_test_data_gva);
vcpu_args_set(vcpu, 2, apic_hz, delay_ms);
vcpu_args_set(vcpu, 1, cpuid_gva);
vcpu_args_set(vcpu, 2, vmx_pages_gva, hv_pages_gva);
vcpu_args_set(vcpu, 2, tsc_page_gva, addr_gva2gpa(vm, tsc_page_gva));
vcpu_args_set(vcpu, 3, vmx_pages_gva, hv_pages_gva, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu, 3, addr_gva2gpa(vm, hcall_in_page),
vcpu_args_set(vcpu, 1, msr_gva);
vcpu_args_set(vcpu, 2, addr_gva2gpa(vm, hcall_page), hcall_params);
vcpu_args_set(vcpu[1], 2, hcall_page, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu[2], 2, hcall_page, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu[0], 2, hcall_page, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu, 3, nested_gva, hv_pages_gva, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu[0], 1, test_data_page);
vcpu_args_set(vcpu[1], 1, test_data_page);
vcpu_args_set(vcpu[2], 1, test_data_page);
vcpu_args_set(vcpu, 1, nested_test_data_gva);
vcpu_args_set(vcpu, 2, pvti_gpa, pvti_gva);
vcpu_args_set(vcpu, 1, (void *)(long)testcase);
vcpu_args_set(vcpu, 1, guest_gva);
vcpu_args_set(vcpu, 1, nested_gva);
vcpu_args_set(vcpu, 1, nested_test_data_gva);
vcpu_args_set(vcpu, 1, nested_test_data_gva);
vcpu_args_set(vcpu, 1, guest_gva);
vcpu_args_set(vcpu, 1, nested_gva);
vcpu_args_set(vcpu, 1, guest_gva);
vcpu_args_set(vcpu, 1, nested_gva);
vcpu_args_set(vcpu, 1, idx);
vcpu_args_set(vcpus[i], 1, gpa);
vcpu_args_set(vcpu, 1, gva);
vcpu_args_set(vcpu, 1, kvm_is_tdp_enabled());
vcpu_args_set(vcpu, 1, nested_gva);
vcpu_args_set(vcpu, 1, nested_gva);
vcpu_args_set(vcpu, 1, svm_gva);
vcpu_args_set(vcpu, 2, svm_gva, vm->arch.idt);
vcpu_args_set(vcpu, 3, svm_gva, (uint64_t)is_nmi, (uint64_t)idt_alt_vm);
vcpu_args_set(vcpu, 1, svm_gva);
vcpu_args_set(vcpu, 1, vmx_pages_gva);
vcpu_args_set(vcpu, 1, svm_gva);
vcpu_args_set(vcpu, 2, vmx_pages_gva, high_gpa);
vcpu_args_set(vcpu, 1, vmx_pages_gva);
vcpu_args_set(vcpu, 1, vmx_pages_gva);
vcpu_args_set(vcpu, 1, vmx_pages_gva);
vcpu_args_set(vcpu, 1, host_cap.capabilities);
vcpu_args_set(vcpu, 1, vmx_pages_gva);
vcpu_args_set(params[0].vcpu, 1, test_data_page_vaddr);
vcpu_args_set(params[1].vcpu, 1, test_data_page_vaddr);