Searched refs:GUEST_INTERRUPTIBILITY_INFO (Results 1 – 2 of 2) sorted by relevance
195 GUEST_INTERRUPTIBILITY_INFO = 0x00004824, enumerator
522 FIELD(GUEST_INTERRUPTIBILITY_INFO, guest_interruptibility_info),1616 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()1629 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()1640 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow()3886 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0); in vmx_vcpu_reset()3968 if (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) { in enable_nmi_window()4040 return !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_nmi_allowed()4051 return vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI; in vmx_get_nmi_mask()4066 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()4069 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()[all …]