| 1010 | |
| 1011 | #ifdef INVARIANTS |
| 1012 | static __inline int |
| 1013 | vintr_intercept_enabled(struct svm_softc *sc, int vcpu) |
| 1014 | { |
| 1015 | |
| 1016 | return (svm_get_intercept(sc, vcpu, VMCB_CTRL1_INTCPT, |
| 1017 | VMCB_INTCPT_VINTR)); |
| 1018 | } |
| 1019 | #endif |
| 1020 | |
| 1021 | static __inline void |
no test coverage detected