Searched refs:vmcs_clear_bits (Results 1 – 2 of 2) sorted by relevance
269 static __always_inline void vmcs_clear_bits(unsigned long field, u32 mask) in vmcs_clear_bits() function 272 "vmcs_clear_bits does not support 64-bit fields"); in vmcs_clear_bits()
4931 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask()