Searched refs:GUEST_INTERRUPTIBILITY_INFO (Results 1 – 2 of 2) sorted by relevance
245 GUEST_INTERRUPTIBILITY_INFO = 0x00004824, enumerator
660 GUEST_INTERRUPTIBILITY_INFO,777 FIELD(GUEST_INTERRUPTIBILITY_INFO, guest_interruptibility_info),2216 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()2229 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()2240 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow()4933 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0); in vmx_vcpu_reset()5007 vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) { in enable_nmi_window()5081 return vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI; in vmx_get_nmi_mask()5096 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()5099 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()[all …]