Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/msrs.c kvm_get_msr_common() -> kvm_pmu_get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| PARAM_VALUE | 1 | msr_info->index | 193-194 |
| CAPPED_DATA | 1 | msr_info->index | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |
arch/x86/kvm/msrs.c kvm_get_msr_common() -> kvm_pmu_get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| PARAM_VALUE | 1 | msr_info->index | 2-15,19-22,24-26,28-41,43,45-51,53-58,60-71,73-138,140-157,159-192,195-204,207-253,255-265,267-285,910-912 |
| CAPPED_DATA | 1 | msr_info->index | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |