Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
fud |
4096-ptr_max |
| PARAM_VALUE |
1 |
cs |
5275624651834953728 |
| PARAM_VALUE |
1 |
cs->currbuf |
0 |
| PARAM_VALUE |
1 |
cs->is_uring |
0 |
| PARAM_VALUE |
1 |
cs->iter |
0 |
| PARAM_VALUE |
1 |
cs->len |
0 |
| PARAM_VALUE |
1 |
cs->nr_segs |
0-u32max |
| PARAM_VALUE |
1 |
cs->offset |
0 |
| PARAM_VALUE |
1 |
cs->pg |
0 |
| PARAM_VALUE |
1 |
cs->pipe |
4096-ptr_max |
| PARAM_VALUE |
1 |
cs->pipebufs |
1-18446744073709551614 |
| PARAM_VALUE |
1 |
cs->req |
0 |
| PARAM_VALUE |
1 |
cs->ring.copied_sz |
0 |
| PARAM_VALUE |
1 |
cs->write |
0 |
| BUF_SIZE |
0 |
fud |
s32min-(-2),1-s32max |
| BUF_SIZE |
0 |
fud |
s32min-(-2),1-s32max |
| CAPPED_DATA |
2 |
nbytes |
1 |
| CAPPED_DATA |
2 |
nbytes |
1 |
| DATA_SOURCE |
2 |
nbytes |
$3 |
| MEM_ZERO |
1 |
cs |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
2 |
nbytes |
1-1000000000[c] |
| HALF_LOCKED2 |
|
&inode->i_rwsem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
fud |
4096-ptr_max |
| PARAM_VALUE |
1 |
cs |
830036563090239488 |
| PARAM_VALUE |
1 |
cs->currbuf |
0 |
| PARAM_VALUE |
1 |
cs->is_uring |
0 |
| PARAM_VALUE |
1 |
cs->iter |
4096-ptr_max |
| PARAM_VALUE |
1 |
cs->len |
0 |
| PARAM_VALUE |
1 |
cs->move_folios |
0 |
| PARAM_VALUE |
1 |
cs->nr_segs |
0 |
| PARAM_VALUE |
1 |
cs->offset |
0 |
| PARAM_VALUE |
1 |
cs->pg |
0 |
| PARAM_VALUE |
1 |
cs->pipe |
0 |
| PARAM_VALUE |
1 |
cs->pipebufs |
0 |
| PARAM_VALUE |
1 |
cs->req |
0 |
| PARAM_VALUE |
1 |
cs->ring.copied_sz |
0 |
| PARAM_VALUE |
1 |
cs->write |
0 |
| PARAM_VALUE |
2 |
nbytes |
0-1000000000 |
| BUF_SIZE |
0 |
fud |
s32min-(-2),1-s32max |
| BUF_SIZE |
0 |
fud |
s32min-(-2),1-s32max |
| NOSPEC |
2 |
nbytes |
|
| NOSPEC |
2 |
nbytes |
|
| MEM_ZERO |
1 |
cs |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
2 |
nbytes |
0-1000000000 |
| HALF_LOCKED2 |
|
&pool->lock |
|