Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/kvm/msrs.c, line 1847
- arch/x86/kvm/svm/svm.c
- arch/x86/kvm/vmx/tdx.c, line 2257
- arch/x86/kvm/vmx/vmx.c
Smatch caller information:
arch/x86/kvm/svm/svm.c efer_trap() -> kvm_set_msr_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->ops->get_cr | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->run->hypercall.ret | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->dst.valptr | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->fetch.data | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->src.valptr | 0-255 |
| PARAM_VALUE | 0 | *vcpu->arch.emulate_ctxt->src2.valptr | 0-255 |
| PARAM_VALUE | 1 | msr_info | 7439312273793630208 |
| PARAM_VALUE | 1 | msr_info->host_initiated | 0 |
| PARAM_VALUE | 1 | msr_info->index | 3221225600 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/svm/svm.c svm_set_msr() -> kvm_set_msr_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |
arch/x86/kvm/svm/svm.c svm_set_msr() -> kvm_set_msr_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |
arch/x86/kvm/vmx/tdx.c tdx_set_msr() -> kvm_set_msr_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 5 |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| PARAM_VALUE | 1 | msr_info->index | 7,139,206,254,266,320,377-379,416,508,512-623,631,640-671 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |
arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> kvm_set_msr_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |
arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> kvm_set_msr_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |
arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> kvm_set_msr_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr_info | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr_info | $1 |