Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
1 |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
2604327653922545664 |
| PARAM_VALUE |
2 |
*nextarg |
1 |
| PARAM_VALUE |
3 |
value |
3389590646715187200 |
| PARAM_VALUE |
4 |
offset |
6622908076735193088 |
| PARAM_VALUE |
5 |
name |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
1 |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
1062801094371610624 |
| PARAM_VALUE |
2 |
*nextarg |
1 |
| PARAM_VALUE |
3 |
value |
4196438406690254848 |
| PARAM_VALUE |
4 |
offset |
6704136502012772352 |
| PARAM_VALUE |
5 |
name |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
s32min-(-1),1-s32max |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
4904910666826051584 |
| PARAM_VALUE |
2 |
*nextarg |
1 |
| PARAM_VALUE |
3 |
value |
7956350011285266432 |
| PARAM_VALUE |
4 |
offset |
3003638289826336768 |
| PARAM_VALUE |
4 |
*offset |
0 |
| PARAM_VALUE |
5 |
name |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| FUZZY_MAX |
0 |
argc |
2 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
2-s32max |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
2547468429862903808 |
| PARAM_VALUE |
2 |
*nextarg |
1 |
| PARAM_VALUE |
3 |
value |
1016998586973564928 |
| PARAM_VALUE |
4 |
offset |
829291803191672832 |
| PARAM_VALUE |
4 |
*offset |
0 |
| PARAM_VALUE |
5 |
name |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| FUZZY_MAX |
0 |
argc |
2 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
2-s32max |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
2547468429862903808 |
| PARAM_VALUE |
3 |
value |
9102716365757661184 |
| PARAM_VALUE |
4 |
offset |
0 |
| PARAM_VALUE |
5 |
name |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| CAPPED_DATA |
0 |
argc |
1 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| FUZZY_MAX |
0 |
argc |
2 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
0 |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
4881752343818055680 |
| PARAM_VALUE |
2 |
*nextarg |
0 |
| PARAM_VALUE |
3 |
value |
8936232490362216448 |
| PARAM_VALUE |
4 |
offset |
2778161999818592256 |
| PARAM_VALUE |
5 |
name |
7126027225714143232 |
| PARAM_VALUE |
5 |
*name |
0 |
| PARAM_VALUE |
5 |
*(*name) |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
1-3 |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
3741155369775394816 |
| PARAM_VALUE |
2 |
*nextarg |
1 |
| PARAM_VALUE |
3 |
value |
8455517217288364032 |
| PARAM_VALUE |
4 |
offset |
0 |
| PARAM_VALUE |
5 |
name |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| FUZZY_MAX |
0 |
argc |
3 |
| HARD_MAX |
0 |
argc |
3 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
s32min-(-1),1-s32max |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
7170980987684143104 |
| PARAM_VALUE |
2 |
*nextarg |
1 |
| PARAM_VALUE |
3 |
value |
4388979317811097600 |
| PARAM_VALUE |
4 |
offset |
8625606722379960320 |
| PARAM_VALUE |
5 |
name |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
argc |
s32min-(-1),1-s32max |
| PARAM_VALUE |
1 |
argv |
4096-ptr_max |
| PARAM_VALUE |
2 |
nextarg |
2662722168950423552 |
| PARAM_VALUE |
2 |
*nextarg |
1 |
| PARAM_VALUE |
3 |
value |
8581351012806742016 |
| PARAM_VALUE |
3 |
*value |
0 |
| PARAM_VALUE |
4 |
offset |
2300318187659083776 |
| PARAM_VALUE |
4 |
*offset |
0 |
| PARAM_VALUE |
5 |
name |
4894899407455408128 |
| PARAM_VALUE |
5 |
*name |
0 |
| PARAM_VALUE |
5 |
*(*name) |
0 |
| BUF_SIZE |
1 |
argv |
160 |
| BUF_SIZE |
1 |
argv |
160 |
| DATA_SOURCE |
0 |
argc |
$0 |
| DATA_SOURCE |
1 |
argv |
$1 |
| HALF_LOCKED2 |
|
rcu_read |
|