| 1632 | } |
| 1633 | |
| 1634 | static void |
| 1635 | vmx_assert_nmi_blocking(struct vmx *vmx, int vcpuid) |
| 1636 | { |
| 1637 | uint32_t gi; |
| 1638 | |
| 1639 | gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); |
| 1640 | KASSERT(gi & VMCS_INTERRUPTIBILITY_NMI_BLOCKING, |
| 1641 | ("NMI blocking is not in effect %#x", gi)); |
| 1642 | } |
| 1643 | |
| 1644 | static int |
| 1645 | vmx_emulate_xsetbv(struct vmx *vmx, int vcpu, struct vm_exit *vmexit) |
no test coverage detected