Lines Matching refs:vmcs_set_bits
2434 static __always_inline void vmcs_set_bits(unsigned long field, u32 mask) in vmcs_set_bits() function
5370 vmcs_set_bits(SECONDARY_VM_EXEC_CONTROL, in vmx_set_cr4()
6377 vmcs_set_bits(SECONDARY_VM_EXEC_CONTROL, in vmx_refresh_apicv_exec_ctrl()
6801 vmcs_set_bits(CPU_BASED_VM_EXEC_CONTROL, in enable_irq_window()
6813 vmcs_set_bits(CPU_BASED_VM_EXEC_CONTROL, in enable_nmi_window()
6904 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()
7409 vmcs_set_bits(CPU_BASED_VM_EXEC_CONTROL, CPU_BASED_MOV_DR_EXITING); in vmx_sync_dirty_debug_regs()
7664 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation()
8857 vmcs_set_bits(SECONDARY_VM_EXEC_CONTROL, in set_current_vmptr()
9211 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full()
10519 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()
10624 vmcs_set_bits(PIN_BASED_VM_EXEC_CONTROL, in vmx_arm_hv_timer()
11478 vmcs_set_bits(CPU_BASED_VM_EXEC_CONTROL, in nested_get_vmcs12_pages()