Searched refs:vmcb_pa (Results 1 – 2 of 2) sorted by relevance
55 uint64_t vmcb_pa; /* VMCB physical address */ member
659 vcpu->vmcb_pa = vtophys(vcpu->vmcb); in svm_vcpu_init()2134 uint64_t vmcb_pa; in svm_run() local2146 vmcb_pa = vcpu->vmcb_pa; in svm_run()2243 svm_launch(vmcb_pa, gctx, get_pcpu()); in svm_run()