Searched refs:vmcs_set_bits (Results 1 - 4 of 4) sorted by relevance
/kernel/linux/linux-5.10/arch/x86/kvm/vmx/ |
H A D | vmx_ops.h | 228 static __always_inline void vmcs_set_bits(unsigned long field, u32 mask) in vmcs_set_bits() function 231 "vmcs_set_bits does not support 64-bit fields"); in vmcs_set_bits()
|
H A D | vmx.c | 4707 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask() 5472 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation() 5724 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full() 6599 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()
|
/kernel/linux/linux-6.6/arch/x86/kvm/vmx/ |
H A D | vmx_ops.h | 277 static __always_inline void vmcs_set_bits(unsigned long field, u32 mask) in vmcs_set_bits() function 280 "vmcs_set_bits does not support 64-bit fields"); in vmcs_set_bits()
|
H A D | vmx.c | 5018 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_set_nmi_mask() 5763 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI); in handle_ept_violation() 5994 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_pml_full() 6069 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in handle_notify() 7054 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, in vmx_recover_nmi_blocking()
|
Completed in 19 milliseconds