reverse_cpuid_check identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/reverse_cpuid.h, line 124 (as a function)

Referenced in 1 files:

arch/x86/kvm/reverse_cpuid.h
- line 165
- line 179

Smatch caller information:

arch/x86/kvm/regs.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/regs.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/svm/pmu.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/svm/pmu.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/vmx/sgx.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/vmx/sgx.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/svm/sev.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/svm/sev.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL
HALF_LOCKED2		_T->lock

arch/x86/kvm/mmu/mmu.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/mmu/mmu.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/vmx/hyperv.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/vmx/hyperv.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	4-29
NOCHECK_CALL

arch/x86/kvm/vmx/pmu_intel.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/vmx/pmu_intel.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/cpuid.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/cpuid.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2		_T->lock

arch/x86/kvm/hyperv.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/hyperv.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL
HALF_LOCKED2		&hv->hv_lock
HALF_LOCKED2		&vcpu->kvm->srcu
HALF_LOCKED2		&vcpu->mutex

arch/x86/kvm/lapic.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/lapic.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/x86.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/x86.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL
HALF_LOCKED2		_T->lock

arch/x86/kvm/svm/svm.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/svm/svm.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL
HALF_LOCKED2		_T->lock

arch/x86/kvm/vmx/tdx.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/msrs.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/msrs.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/smm.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/smm.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL
HALF_LOCKED2		_T->lock

arch/x86/kvm/svm/nested.c __feature_bit() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-29,4227858432-u32max
NOCHECK_CALL

arch/x86/kvm/svm/nested.c __feature_leaf() -> reverse_cpuid_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	x86_leaf	0-134217727
NOCHECK_CALL