Lines Matching refs:GUEST_INTERRUPTIBILITY_INFO
1454 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()
1467 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()
1478 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow()
4334 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0); in vmx_vcpu_reset()
4377 vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) { in enable_nmi_window()
4453 masked = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI; in vmx_get_nmi_mask()
4470 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
4473 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
4487 return !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_nmi_allowed()
4496 !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_interrupt_allowed()
5175 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation()
5510 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full()
5761 vmcs_read32(GUEST_INTERRUPTIBILITY_INFO), in dump_vmcs()
6340 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()
6344 !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) in vmx_recover_nmi_blocking()