Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/svm/pmu.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 2147483682 |
| PARAM_VALUE | 3 | index | 0 |
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/vmx/sgx.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 18 |
| PARAM_VALUE | 3 | index | 0-1 |
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| HARD_MAX | 3 | index | 1 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/svm/sev.c kvm_find_cpuid_entry() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 2147483679 |
| PARAM_VALUE | 3 | index | u64max |
| DATA_SOURCE | 2 | function | $1 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/svm/sev.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/vmx/pmu_intel.c kvm_find_cpuid_entry() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 1,10 |
| PARAM_VALUE | 3 | index | u64max |
| DATA_SOURCE | 2 | function | $1 |
| HARD_MAX | 2 | function | 10 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/vmx/pmu_intel.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | nent | 1-s32max |
| PARAM_VALUE | 2 | function | 7 |
| PARAM_VALUE | 3 | index | 0 |
| CAPPED_DATA | 1 | nent | 1 |
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/cpuid.c kvm_find_cpuid_entry() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | index | u64max |
| BUF_SIZE | 0 | entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | entries | (-1)-0,40-10240 |
| DATA_SOURCE | 2 | function | $1 |
| NOSPEC | 1 | nent | |
| PREEMPT_ADD | |||
| USER_DATA | 0 | entries->eax | 0-u32max |
| USER_DATA | 0 | entries->ebx | 0-u32max |
| USER_DATA | 0 | entries->ecx | 0-u32max |
| USER_DATA | 0 | entries->edx | 0-u32max |
| USER_DATA | 0 | entries->flags | 0-u32max |
| USER_DATA | 0 | entries->function | 0-u32max |
| USER_DATA | 0 | entries->index | 0-u32max |
| USER_DATA | 1 | nent | 0-256[c] |
| UNITS | 1 | nent | unit_array_size |
| USER_PTR | 0 | entries | |
| USER_PTR | 0 | entries->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | entries | (-1)-0,40-10240 |
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| NOSPEC | 1 | nent | |
| PREEMPT_ADD | |||
| USER_DATA | 0 | entries->eax | 0-u32max |
| USER_DATA | 0 | entries->ebx | 0-u32max |
| USER_DATA | 0 | entries->ecx | 0-u32max |
| USER_DATA | 0 | entries->edx | 0-u32max |
| USER_DATA | 0 | entries->flags | 0-u32max |
| USER_DATA | 0 | entries->function | 0-u32max |
| USER_DATA | 0 | entries->index | 0-u32max |
| USER_DATA | 1 | nent | 0-256[c] |
| USER_DATA | 2 | function | 0-u32max |
| UNITS | 1 | nent | unit_array_size |
| USER_PTR | 0 | entries | |
| USER_PTR | 0 | entries->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/hyperv.c kvm_find_cpuid_entry() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 1073741827-1073741828,1073741834,1073741954 |
| PARAM_VALUE | 3 | index | u64max |
| BUF_SIZE | 0 | entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | entries | (-1)-0,40-10240 |
| CAPPED_DATA | 1 | nent | 1 |
| DATA_SOURCE | 2 | function | $1 |
| NOSPEC | 1 | nent | |
| NOSPEC | 1 | nent | |
| HARD_MAX | 2 | function | 1073741954 |
| PREEMPT_ADD | |||
| USER_DATA | 0 | entries->eax | 0-u32max |
| USER_DATA | 0 | entries->ebx | 0-u32max |
| USER_DATA | 0 | entries->ecx | 0-u32max |
| USER_DATA | 0 | entries->edx | 0-u32max |
| USER_DATA | 0 | entries->flags | 0-u32max |
| USER_DATA | 0 | entries->function | 0-u32max |
| USER_DATA | 0 | entries->index | 0-u32max |
| USER_DATA | 1 | nent | 0-256[c] |
| UNITS | 1 | nent | unit_array_size |
| USER_PTR | 0 | entries | |
| USER_PTR | 0 | entries->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/hyperv.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| UNITS | 1 | nent | unit_array_size |
| LOCK2 | &hv->hv_lock | ||
| TYPE_LOCK | (struct kvm_hv)->hv_lock |
arch/x86/kvm/x86.c kvm_find_cpuid_entry() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 1 |
| PARAM_VALUE | 3 | index | u64max |
| DATA_SOURCE | 2 | function | $1 |
| UNITS | 1 | nent | unit_array_size |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/svm/svm.c kvm_find_cpuid_entry() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 1 |
| PARAM_VALUE | 3 | index | u64max |
| DATA_SOURCE | 2 | function | $1 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/vmx/tdx.c setup_tdparams_cpuids() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | nent | 1-256 |
| PARAM_VALUE | 2 | function | 0 |
| PARAM_VALUE | 3 | index | 0 |
| CAPPED_DATA | 1 | nent | 1 |
| NOSPEC | 1 | nent | |
| NOSPEC | 1 | nent | |
| USER_DATA | 1 | nent | 2-256[c] |
| UNITS | 1 | nent | unit_array_size |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/vmx/tdx.c setup_tdparams_eptp_controls() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | nent | 0-256 |
| PARAM_VALUE | 2 | function | 2147483656 |
| PARAM_VALUE | 3 | index | 0 |
| CAPPED_DATA | 1 | nent | 1 |
| NOSPEC | 1 | nent | |
| NOSPEC | 1 | nent | |
| USER_DATA | 1 | nent | 0-256 |
| UNITS | 1 | nent | unit_array_size |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/msrs.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/vmx/vmx.c kvm_find_cpuid_entry() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 1 |
| PARAM_VALUE | 3 | index | u64max |
| DATA_SOURCE | 2 | function | $1 |
| UNITS | 1 | nent | unit_array_size |
arch/x86/kvm/vmx/vmx.c kvm_find_cpuid_entry_index() -> kvm_find_cpuid_entry2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | function | 7,20 |
| PARAM_VALUE | 3 | index | 0-1 |
| DATA_SOURCE | 2 | function | $1 |
| DATA_SOURCE | 3 | index | $2 |
| HARD_MAX | 2 | function | 20 |
| UNITS | 1 | nent | unit_array_size |