Lines Matching refs:GUEST_INTERRUPTIBILITY_INFO
1531 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()
1544 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()
1555 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow()
4889 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0); in vmx_vcpu_reset()
4911 vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) { in vmx_enable_nmi_window()
4987 masked = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI; in vmx_get_nmi_mask()
5004 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
5007 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
5020 return (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_nmi_blocked()
5043 (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_interrupt_blocked()
5288 (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in handle_exception_nmi()
5750 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation()
5981 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full()
6056 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_notify()
6306 vmcs_read32(GUEST_INTERRUPTIBILITY_INFO), in dump_vmcs()
6999 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()
7003 !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) in vmx_recover_nmi_blocking()