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_is_valid_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 193-194,390-391,3221291008-3221291015 |
| CAPPED_DATA | 1 | msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/msrs.c kvm_get_msr_common() -> kvm_pmu_is_valid_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 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,287-319,321-371,375-376,380-389,392-407,410-415,417-451,454-472,474,479-507,509-511,624-630,632-639,672-766,768-u32max |
| CAPPED_DATA | 1 | msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/msrs.c kvm_set_msr_common() -> kvm_pmu_is_valid_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.xen.hvm_config.msr | 1-u32max |
| PARAM_VALUE | 1 | msr | 193-194,390-391,3221291008-3221291015 |
| CAPPED_DATA | 0 | vcpu->kvm->arch.xen.hvm_config.msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/msrs.c kvm_set_msr_common() -> kvm_pmu_is_valid_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.xen.hvm_config.msr | 1-u32max |
| PARAM_VALUE | 1 | msr | 0-15,19-26,28-51,53-58,60-72,74-120,122-138,140-157,159-192,195-205,207-265,268-285,287-319,321-377,380-389,392-415,417-451,454-507,509-511,624-630,632-639,672-766,768-836,838-1023,1152-1695,1697-1699,1704-u32max |
| CAPPED_DATA | 0 | vcpu->kvm->arch.xen.hvm_config.msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |