Searched refs:GUEST_INTERRUPTIBILITY_INFO (Results 1 – 2 of 2) sorted by relevance
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()[all …]
191 GUEST_INTERRUPTIBILITY_INFO = 0x00004824, enumerator