| 417 | } |
| 418 | |
| 419 | static __inline void |
| 420 | svm_disable_intercept(struct svm_softc *sc, int vcpu, int off, uint32_t bitmask) |
| 421 | { |
| 422 | |
| 423 | svm_set_intercept(sc, vcpu, off, bitmask, 0); |
| 424 | } |
| 425 | |
| 426 | static __inline void |
| 427 | svm_enable_intercept(struct svm_softc *sc, int vcpu, int off, uint32_t bitmask) |
no test coverage detected