Lines Matching refs:GUEST_INTERRUPTIBILITY_INFO
1375 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()
1388 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()
1399 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow()
4480 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0); in vmx_vcpu_reset()
4500 vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) { in vmx_enable_nmi_window()
4576 masked = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI; in vmx_get_nmi_mask()
4593 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
4596 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
4609 return (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_nmi_blocked()
4632 (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & in vmx_interrupt_blocked()
5289 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation()
5511 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full()
5799 vmcs_read32(GUEST_INTERRUPTIBILITY_INFO), in dump_vmcs()
6444 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()
6448 !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) in vmx_recover_nmi_blocking()