Searched refs:vmcb_pa (Results 1 – 2 of 2) sorted by relevance
49 uint64_t vmcb_pa; /* VMCB physical address */ member
620 vcpu->vmcb_pa = vtophys(&vcpu->vmcb); in svm_init()1999 uint64_t vmcb_pa; in svm_run() local2013 vmcb_pa = svm_sc->vcpu[vcpu].vmcb_pa; in svm_run()2110 svm_launch(vmcb_pa, gctx, get_pcpu()); in svm_run()