| 69 | CTASSERT((offsetof(struct svm_softc, nptp) & PAGE_MASK) == 0); |
| 70 | |
| 71 | static __inline struct svm_vcpu * |
| 72 | svm_get_vcpu(struct svm_softc *sc, int vcpu) |
| 73 | { |
| 74 | |
| 75 | return (&(sc->vcpu[vcpu])); |
| 76 | } |
| 77 | |
| 78 | static __inline struct vmcb * |
| 79 | svm_get_vmcb(struct svm_softc *sc, int vcpu) |
no outgoing calls
no test coverage detected