Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/msrs.c kvm_emulate_rdmsr() -> __kvm_emulate_rdmsr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 2 | reg | (-1) |
| PARAM_VALUE | 3 | complete_rdmsr | 3770407336720723968 |
| 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/msrs.c kvm_emulate_rdmsr_imm() -> __kvm_emulate_rdmsr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cui_rdmsr_imm_reg | 0-15 |
| PARAM_VALUE | 0 | vcpu->arch.nested_run_pending | 0 |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 2 | reg | 0-15 |
| PARAM_VALUE | 3 | complete_rdmsr | 392029857128206336 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr | $1 |
| DATA_SOURCE | 2 | reg | $2 |