Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

arch/x86/kvm/vmx/sgx.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528

arch/x86/kvm/mmu/mmu.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/nested.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528

arch/x86/kvm/vmx/nested.c nested_vmx_setup_entry_ctls() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519
HALF_LOCKED2 _T->lock

arch/x86/kvm/vmx/nested.c nested_vmx_setup_entry_ctls() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 596
HALF_LOCKED2 _T->lock

arch/x86/kvm/vmx/nested.c nested_vmx_setup_exit_ctls() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519
HALF_LOCKED2 _T->lock

arch/x86/kvm/vmx/nested.c nested_vmx_setup_exit_ctls() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 596
HALF_LOCKED2 _T->lock

arch/x86/kvm/vmx/pmu_intel.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 324
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 290
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 313
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 600
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 600
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 755
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 194
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 609
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 664
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c __do_cpuid_func() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 244
PREEMPT_ADD <- disables preempt

arch/x86/kvm/cpuid.c cpuid_func_emulated() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 59

arch/x86/kvm/cpuid.c kvm_initialize_cpu_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/cpuid.c kvm_initialize_cpu_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 154
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 295
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 308
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 288
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 515
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 514
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 133
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 145
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 410
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 596
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/hyperv.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c kvm_setup_efer_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c kvm_setup_efer_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c kvm_setup_efer_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c kvm_setup_efer_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c kvm_setup_efer_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c kvm_setup_xss_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c kvm_setup_xss_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c kvm_setup_xss_caps() -> kvm_cpu_cap_has()

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

arch/x86/kvm/x86.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528

arch/x86/kvm/svm/svm.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 298

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 59

arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519

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

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c kvm_probe_msr_to_save() -> kvm_cpu_cap_has()

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

arch/x86/kvm/msrs.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c max_host_virt_addr_bits() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 528

arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 324

arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519

arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519

arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 596

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 596

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519

arch/x86/kvm/svm/nested.c svm_copy_vmrun_state() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 519

arch/x86/kvm/svm/nested.c svm_copy_vmrun_state() -> kvm_cpu_cap_has()

Type Parameter Key Value
PARAM_VALUE 0 x86_feature 481