Searched refs:vmcb_pa (Results 1 – 2 of 2) sorted by relevance
47 uint64_t vmcb_pa; /* VMCB physical address */ member
565 vcpu->vmcb_pa = vtophys(&vcpu->vmcb); in svm_vminit()1918 uint64_t vmcb_pa; in svm_vmrun() local1931 vmcb_pa = svm_sc->vcpu[vcpu].vmcb_pa; in svm_vmrun()2015 svm_launch(vmcb_pa, gctx, &__pcpu[curcpu]); in svm_vmrun()