Searched refs:vmcs_set_bits (Results 1 – 2 of 2) sorted by relevance
279 static __always_inline void vmcs_set_bits(unsigned long field, u32 mask) in vmcs_set_bits() function 282 "vmcs_set_bits does not support 64-bit fields"); in vmcs_set_bits()
4928 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask() 5688 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation() 5893 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full() 5992 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_notify() 6991 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()