Searched refs:svm_get_vmcb_state (Results 1 - 2 of 2) sorted by relevance

/freebsd-12-stable/sys/amd64/vmm/amd/
H A Dsvm_softc.h86 svm_get_vmcb_state(struct svm_softc *sc, int vcpu) function
H A Dsvm.c418 state = svm_get_vmcb_state(sc, vcpu);
758 state = svm_get_vmcb_state(svm_sc, vcpu);
1127 state = svm_get_vmcb_state(sc, vcpu);
1217 state = svm_get_vmcb_state(sc, vcpu);
1596 state = svm_get_vmcb_state(sc, vcpu);
1977 state = svm_get_vmcb_state(svm_sc, vcpu);

Completed in 111 milliseconds