Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/boot/startup/sev-startup.c __sev_cpuid_hv_msr() -> cpuid_function_is_indexed()

Type Parameter Key Value

arch/x86/boot/startup/sev-startup.c snp_cpuid_get_validated_func() -> cpuid_function_is_indexed()

Type Parameter Key Value
CAPPED_DATA 0 function 1
PREEMPT_ADD

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

Type Parameter Key Value
DATA_SOURCE 0 function $1

arch/x86/kvm/cpuid.c do_host_cpuid() -> cpuid_function_is_indexed()

Type Parameter Key Value
DATA_SOURCE 0 function $1
PREEMPT_ADD

arch/x86/kvm/cpuid.c kvm_find_cpuid_entry2() -> cpuid_function_is_indexed()

Type Parameter Key Value
CAPPED_DATA 0 function 1
DATA_SOURCE 0 function $2
PREEMPT_ADD
USER_DATA 0 function 0-u32max
HALF_LOCKED2 &hv->hv_lock