Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
kls |
7389341361424089088 |
| PARAM_VALUE |
0 |
kls->kmnt_ids |
0 |
| PARAM_VALUE |
0 |
kls->last_mnt_id |
0 |
| PARAM_VALUE |
0 |
kls->mnt_parent_id |
0 |
| PARAM_VALUE |
0 |
kls->nr_mnt_ids |
0 |
| PARAM_VALUE |
0 |
kls->ns |
0 |
| PARAM_VALUE |
0 |
kls->root.mnt |
0 |
| PARAM_VALUE |
1 |
kreq |
5220502030810562560 |
| PARAM_VALUE |
2 |
nr_mnt_ids |
0-1000000 |
| DATA_SOURCE |
2 |
nr_mnt_ids |
$2 |
| FUZZY_MAX |
2 |
nr_mnt_ids |
1000000 |
| USER_DATA |
1 |
kreq->mnt_fd |
0-u32max |
| USER_DATA |
1 |
kreq->mnt_id |
0-u64max |
| USER_DATA |
1 |
kreq->mnt_ns_fd |
0-u32max |
| USER_DATA |
1 |
kreq->mnt_ns_id |
0-u64max |
| USER_DATA |
1 |
kreq->param |
0-u64max |
| USER_DATA |
1 |
kreq->size |
0-u32max |
| USER_DATA |
2 |
nr_mnt_ids |
0-1000000 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
kls |
7389341361424089088 |
| PARAM_VALUE |
0 |
kls->kmnt_ids |
0 |
| PARAM_VALUE |
0 |
kls->last_mnt_id |
0 |
| PARAM_VALUE |
0 |
kls->mnt_parent_id |
0 |
| PARAM_VALUE |
0 |
kls->nr_mnt_ids |
0 |
| PARAM_VALUE |
0 |
kls->ns |
0 |
| PARAM_VALUE |
0 |
kls->root.mnt |
0 |
| PARAM_VALUE |
1 |
kreq |
5220502030810562560 |
| PARAM_VALUE |
2 |
nr_mnt_ids |
0-1000000 |
| DATA_SOURCE |
2 |
nr_mnt_ids |
$2 |
| FUZZY_MAX |
2 |
nr_mnt_ids |
1000000 |
| USER_DATA |
1 |
kreq->mnt_fd |
0-u32max |
| USER_DATA |
1 |
kreq->mnt_id |
0-u64max |
| USER_DATA |
1 |
kreq->mnt_ns_fd |
0-u32max |
| USER_DATA |
1 |
kreq->mnt_ns_id |
0-u64max |
| USER_DATA |
1 |
kreq->param |
0-u64max |
| USER_DATA |
1 |
kreq->size |
0-u32max |
| USER_DATA |
2 |
nr_mnt_ids |
0-1000000 |
