Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/hyperv.c kvm_hv_hypercall() -> kvm_hv_hypercall_read_xmm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc | 2908853198362472448 |
| PARAM_VALUE | 0 | hc->code | 2-3,19-21 |
| PARAM_VALUE | 0 | hc->fast | 1 |
| PARAM_VALUE | 0 | hc->param | 0-1152921504606846974 |
| PARAM_VALUE | 0 | hc->rep_cnt | 0-4095 |
| PARAM_VALUE | 0 | hc->rep_idx | 0-4095 |
| PARAM_VALUE | 0 | hc->var_cnt | 0-1023 |
| NOCHECK_CALL |