Searched refs:vmcb_gpa (Results 1 – 5 of 5) sorted by relevance
40 svm->vmcb_gpa = addr_gva2gpa(vm, (uintptr_t)svm->vmcb); in vcpu_alloc_svm()75 uint64_t vmcb_gpa = svm->vmcb_gpa; in generic_svm_setup() local89 asm volatile ("vmsave %0\n\t" : : "a" (vmcb_gpa) : "memory"); in generic_svm_setup()143 void run_guest(struct vmcb *vmcb, uint64_t vmcb_gpa) in run_guest() argument159 : : [vmcb] "r" (vmcb), [vmcb_gpa] "a" (vmcb_gpa) in run_guest()
25 uint64_t vmcb_gpa; member35 void run_guest(struct vmcb *vmcb, uint64_t vmcb_gpa);
41 GUEST_ASSERT(svm->vmcb_gpa); in svm_l1_guest_code()47 run_guest(vmcb, svm->vmcb_gpa); in svm_l1_guest_code()51 run_guest(vmcb, svm->vmcb_gpa); in svm_l1_guest_code()
34 run_guest(vmcb, svm->vmcb_gpa); in l1_guest_code()
394 int enter_svm_guest_mode(struct vcpu_svm *svm, u64 vmcb_gpa,