34 	struct svm_test_data *svm = addr_gva2hva(vm, svm_gva);  in vcpu_alloc_svm()  local
36 	svm->vmcb = (void *)vm_vaddr_alloc_page(vm);  in vcpu_alloc_svm()
37 	svm->vmcb_hva = addr_gva2hva(vm, (uintptr_t)svm->vmcb);  in vcpu_alloc_svm()
38 	svm->vmcb_gpa = addr_gva2gpa(vm, (uintptr_t)svm->vmcb);  in vcpu_alloc_svm()
40 	svm->save_area = (void *)vm_vaddr_alloc_page(vm);  in vcpu_alloc_svm()
41 	svm->save_area_hva = addr_gva2hva(vm, (uintptr_t)svm->save_area);  in vcpu_alloc_svm()
42 	svm->save_area_gpa = addr_gva2gpa(vm, (uintptr_t)svm->save_area);  in vcpu_alloc_svm()
45 	return svm;  in vcpu_alloc_svm()
69 void generic_svm_setup(struct svm_test_data *svm, void *guest_rip, void *guest_rsp)  in generic_svm_setup()  argument
71 	struct vmcb *vmcb = svm->vmcb;  in generic_svm_setup()
72 	uint64_t vmcb_gpa = svm->vmcb_gpa;  in generic_svm_setup()
83 	wrmsr(MSR_VM_HSAVE_PA, svm->save_area_gpa);  in generic_svm_setup()
110 	guest_regs.rdi = (u64)svm;  in generic_svm_setup()