Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/hyperv.c kvm_hv_hypercall() -> kvm_hv_flush_tlb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cr0 | 1-u64max |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->ops->get_cr | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_state_protected | 0 |
| PARAM_VALUE | 0 | vcpu->arch.hyperv_enabled | 1 |
| 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 | hc | 2908853198362472448 |
| PARAM_VALUE | 1 | hc->code | 3,20 |
| PARAM_VALUE | 1 | hc->param | 0-1152921504606846974 |
| PARAM_VALUE | 1 | hc->rep | 1 |
| PARAM_VALUE | 1 | hc->rep_cnt | 1-4095 |
| PARAM_VALUE | 1 | hc->rep_idx | 0 |
| PARAM_VALUE | 1 | hc->var_cnt | 0-1023 |
| 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/hyperv.c kvm_hv_hypercall() -> kvm_hv_flush_tlb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cr0 | 1-u64max |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->ops->get_cr | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_state_protected | 0 |
| PARAM_VALUE | 0 | vcpu->arch.hyperv_enabled | 1 |
| 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 | hc | 2908853198362472448 |
| PARAM_VALUE | 1 | hc->code | 2,19 |
| PARAM_VALUE | 1 | hc->param | 0-1152921504606846974 |
| PARAM_VALUE | 1 | hc->rep | 0 |
| PARAM_VALUE | 1 | hc->rep_cnt | 0 |
| PARAM_VALUE | 1 | hc->rep_idx | 0 |
| PARAM_VALUE | 1 | hc->var_cnt | 0-1023 |
| 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 |