35 	struct svm_test_data *svm = addr_gva2hva(vm, svm_gva);  in vcpu_alloc_svm()  local
37 	svm->vmcb = (void *)vm_vaddr_alloc(vm, getpagesize(),  in vcpu_alloc_svm()
39 	svm->vmcb_hva = addr_gva2hva(vm, (uintptr_t)svm->vmcb);  in vcpu_alloc_svm()
40 	svm->vmcb_gpa = addr_gva2gpa(vm, (uintptr_t)svm->vmcb);  in vcpu_alloc_svm()
42 	svm->save_area = (void *)vm_vaddr_alloc(vm, getpagesize(),  in vcpu_alloc_svm()
44 	svm->save_area_hva = addr_gva2hva(vm, (uintptr_t)svm->save_area);  in vcpu_alloc_svm()
45 	svm->save_area_gpa = addr_gva2gpa(vm, (uintptr_t)svm->save_area);  in vcpu_alloc_svm()
48 	return svm;  in vcpu_alloc_svm()
60 void generic_svm_setup(struct svm_test_data *svm, void *guest_rip, void *guest_rsp)  in generic_svm_setup()  argument
62 	struct vmcb *vmcb = svm->vmcb;  in generic_svm_setup()
63 	uint64_t vmcb_gpa = svm->vmcb_gpa;  in generic_svm_setup()
74 	wrmsr(MSR_VM_HSAVE_PA, svm->save_area_gpa);  in generic_svm_setup()
101 	guest_regs.rdi = (u64)svm;  in generic_svm_setup()