Searched refs:svm_get_vmcb (Results 1 - 3 of 3) sorted by relevance

/freebsd-12-stable/sys/amd64/vmm/amd/
H A Dvmcb.c123 vmcb = svm_get_vmcb(softc, vcpu);
168 vmcb = svm_get_vmcb(sc, vcpu);
258 vmcb = svm_get_vmcb(sc, vcpu);
372 vmcb = svm_get_vmcb(sc, vcpu);
423 vmcb = svm_get_vmcb(sc, vcpu);
H A Dsvm_softc.h79 svm_get_vmcb(struct svm_softc *sc, int vcpu) function
H A Dsvm.c786 svm_paging_info(svm_get_vmcb(svm_sc, vcpu), &vis->paging);
1311 vmcb = svm_get_vmcb(svm_sc, vcpu);

Completed in 103 milliseconds