Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c svm_set_cpu_caps() -> kvm_cpu_cap_check_and_set()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 215
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/vmx/vmx.c vmx_set_cpu_caps() -> kvm_cpu_cap_check_and_set()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 302
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/vmx/vmx.c vmx_set_cpu_caps() -> kvm_cpu_cap_check_and_set()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 313
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/vmx/vmx.c vmx_set_cpu_caps() -> kvm_cpu_cap_check_and_set()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 21
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/vmx/vmx.c vmx_set_cpu_caps() -> kvm_cpu_cap_check_and_set()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 130
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/vmx/vmx.c vmx_set_cpu_caps() -> kvm_cpu_cap_check_and_set()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 517
NOCHECK_CALL
LOCK2 _T->lock