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