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()
62 	struct vmcb *vmcb = svm->vmcb;  in generic_svm_setup()  local
64 	struct vmcb_save_area *save = &vmcb->save;  in generic_svm_setup()
65 	struct vmcb_control_area *ctrl = &vmcb->control;  in generic_svm_setup()
76 	memset(vmcb, 0, sizeof(*vmcb));  in generic_svm_setup()
99 	vmcb->save.rip = (u64)guest_rip;  in generic_svm_setup()
100 	vmcb->save.rsp = (u64)guest_rsp;  in generic_svm_setup()
131 void run_guest(struct vmcb *vmcb, uint64_t vmcb_gpa)  in run_guest()  argument
147 		: : [vmcb] "r" (vmcb), [vmcb_gpa] "a" (vmcb_gpa)  in run_guest()