| 76 | } |
| 77 | |
| 78 | static __inline struct vmcb * |
| 79 | svm_get_vmcb(struct svm_softc *sc, int vcpu) |
| 80 | { |
| 81 | |
| 82 | return (&(sc->vcpu[vcpu].vmcb)); |
| 83 | } |
| 84 | |
| 85 | static __inline struct vmcb_state * |
| 86 | svm_get_vmcb_state(struct svm_softc *sc, int vcpu) |
no outgoing calls
no test coverage detected