Searched refs:vmcs_set_bits (Results 1 – 1 of 1) sorted by relevance
1522 static void vmcs_set_bits(unsigned long field, u32 mask) in vmcs_set_bits() function2165 vmcs_set_bits(GUEST_CR0, X86_CR0_TS | X86_CR0_MP); in vmx_fpu_deactivate()5096 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()5908 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation()7276 vmcs_set_bits(SECONDARY_VM_EXEC_CONTROL, in handle_vmptrld()7460 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full()8427 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()