Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/msrs.c __kvm_emulate_rdmsr() -> kvm_msr_user_space()
| 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->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->run->hypercall.ret | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | exit_reason | 29 |
| PARAM_VALUE | 3 | data | 0 |
| PARAM_VALUE | 4 | completion | 392029857128206336,3770407336720723968 |
| PARAM_VALUE | 5 | r | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | index | $1 |
| DATA_SOURCE | 4 | completion | $3 |
| DATA_SOURCE | 5 | r | r kvm_emulate_msr_read |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/msrs.c __kvm_emulate_wrmsr() -> kvm_msr_user_space()
| 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->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->run->hypercall.ret | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | exit_reason | 30 |
| PARAM_VALUE | 4 | completion | 4261288981317394432 |
| PARAM_VALUE | 5 | r | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | index | $1 |
| DATA_SOURCE | 3 | data | $2 |
| DATA_SOURCE | 5 | r | r kvm_emulate_msr_write |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_DATA | 3 | data | 0-u64max |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/msrs.c kvm_emulator_get_msr_with_filter() -> kvm_msr_user_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | exit_reason | 29 |
| PARAM_VALUE | 3 | data | 0 |
| PARAM_VALUE | 4 | completion | 3045417569159835648 |
| PARAM_VALUE | 5 | r | 1-s32max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | index | $1 |
| DATA_SOURCE | 5 | r | r kvm_emulate_msr_read |
arch/x86/kvm/msrs.c kvm_emulator_set_msr_with_filter() -> kvm_msr_user_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | exit_reason | 30 |
| PARAM_VALUE | 4 | completion | 3212170551491481600 |
| PARAM_VALUE | 5 | r | 1-s32max |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | index | $1 |
| DATA_SOURCE | 3 | data | $2 |
| DATA_SOURCE | 5 | r | r kvm_emulate_msr_write |