| 1621 | } |
| 1622 | |
| 1623 | static void |
| 1624 | vmx_clear_nmi_blocking(struct vmx *vmx, int vcpuid) |
| 1625 | { |
| 1626 | uint32_t gi; |
| 1627 | |
| 1628 | VCPU_CTR0(vmx->vm, vcpuid, "Clear Virtual-NMI blocking"); |
| 1629 | gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); |
| 1630 | gi &= ~VMCS_INTERRUPTIBILITY_NMI_BLOCKING; |
| 1631 | vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi); |
| 1632 | } |
| 1633 | |
| 1634 | static void |
| 1635 | vmx_assert_nmi_blocking(struct vmx *vmx, int vcpuid) |
no test coverage detected