Lines Matching refs:GUEST_INTERRUPTIBILITY_INFO
993 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()
1006 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()
1017 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow()
2827 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0); in vmx_vcpu_reset()
2888 if (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) { in enable_nmi_window()
2955 return !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_nmi_allowed()
2964 return vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI; in vmx_get_nmi_mask()
2978 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
2981 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
2989 !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_interrupt_allowed()
3509 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_task_switch()
3911 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()
3949 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in __vmx_complete_interrupts()