| 382 | } |
| 383 | |
| 384 | static __inline int |
| 385 | svm_get_intercept(struct svm_softc *sc, int vcpu, int idx, uint32_t bitmask) |
| 386 | { |
| 387 | struct vmcb_ctrl *ctrl; |
| 388 | |
| 389 | KASSERT(idx >=0 && idx < 5, ("invalid intercept index %d", idx)); |
| 390 | |
| 391 | ctrl = svm_get_vmcb_ctrl(sc, vcpu); |
| 392 | return (ctrl->intercept[idx] & bitmask ? 1 : 0); |
| 393 | } |
| 394 | |
| 395 | static __inline void |
| 396 | svm_set_intercept(struct svm_softc *sc, int vcpu, int idx, uint32_t bitmask, |
no test coverage detected