Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
hc |
2908853198362472448 |
| PARAM_VALUE |
1 |
hc->code |
19-21 |
| PARAM_VALUE |
1 |
hc->consumed_xmm_halves |
1-2,24,32 |
| PARAM_VALUE |
1 |
hc->data_offset |
1-2,24,32 |
| PARAM_VALUE |
1 |
hc->param |
0-1152921504606846974 |
| PARAM_VALUE |
1 |
hc->rep_cnt |
0-4095 |
| PARAM_VALUE |
1 |
hc->rep_idx |
0 |
| PARAM_VALUE |
1 |
hc->var_cnt |
1-64 |
| PARAM_VALUE |
2 |
orig_cnt |
1-64 |
| PARAM_VALUE |
3 |
cnt_cap |
64 |
| BUF_SIZE |
4 |
data |
512 |
| BUF_SIZE |
4 |
data |
512 |
| CAPPED_DATA |
1 |
hc->var_cnt |
1 |
| CAPPED_DATA |
2 |
orig_cnt |
1 |
| DATA_SOURCE |
0 |
kvm |
$0 |
| DATA_SOURCE |
1 |
hc |
$1 |
| DATA_SOURCE |
4 |
data |
$2 |
| FUZZY_MAX |
1 |
hc->consumed_xmm_halves |
2 |
| FUZZY_MAX |
1 |
hc->data_offset |
32 |
| BIT_INFO |
1 |
hc->consumed_xmm_halves |
0x0,0x3b |
| BIT_INFO |
1 |
hc->data_offset |
0x0,0x3b |
| UNITS |
0 |
kvm |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
hc |
2908853198362472448 |
| PARAM_VALUE |
1 |
hc->code |
3,20 |
| PARAM_VALUE |
1 |
hc->consumed_xmm_halves |
1-544 |
| PARAM_VALUE |
1 |
hc->data_offset |
1-544 |
| PARAM_VALUE |
1 |
hc->param |
0-1152921504606846974 |
| PARAM_VALUE |
1 |
hc->rep |
1 |
| PARAM_VALUE |
1 |
hc->rep_cnt |
1-15 |
| PARAM_VALUE |
1 |
hc->rep_idx |
0 |
| PARAM_VALUE |
1 |
hc->var_cnt |
0-1023 |
| PARAM_VALUE |
2 |
orig_cnt |
1-15 |
| PARAM_VALUE |
3 |
cnt_cap |
1-15 |
| BUF_SIZE |
4 |
data |
120 |
| CAPPED_DATA |
1 |
hc->var_cnt |
1 |
| DATA_SOURCE |
0 |
kvm |
$0 |
| DATA_SOURCE |
1 |
hc |
$1 |
| DATA_SOURCE |
4 |
data |
$2 |
| FUZZY_MAX |
1 |
hc->consumed_xmm_halves |
1 |
| FUZZY_MAX |
1 |
hc->data_offset |
24 |
| UNITS |
0 |
kvm |
unit_byte |
| UNITS |
2 |
orig_cnt |
unit_array_size |
| UNITS |
3 |
cnt_cap |
unit_array_size |