Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
pipe |
1-u64max |
| PARAM_VALUE |
1 |
out |
4096-ptr_max |
| PARAM_VALUE |
2 |
ppos |
6564596398195531776 |
| PARAM_VALUE |
2 |
*ppos |
0-1000000000 |
| PARAM_VALUE |
3 |
len |
1-1000000000 |
| PARAM_VALUE |
4 |
flags |
0-2147483649 |
| BUF_SIZE |
0 |
pipe |
s32min-(-2),1-s32max |
| BUF_SIZE |
0 |
pipe |
s32min-(-2),1-s32max |
| DATA_SOURCE |
0 |
pipe |
r get_pipe_info |
| DATA_SOURCE |
1 |
out |
$2 |
| DATA_SOURCE |
3 |
len |
$4 |
| DATA_SOURCE |
4 |
flags |
$5 [m] |
| BIT_INFO |
1 |
out->f_flags |
0x0,0xfffffbff |
| BIT_INFO |
1 |
out->f_mode |
0x2,0xffffffffffffffff |
| BIT_INFO |
4 |
flags |
0x0,0x7fffffff |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
2 |
*ppos |
0-1000000000 |
| USER_DATA |
3 |
len |
1-1000000000 |
| USER_DATA |
4 |
flags |
0-16[c] |
| USER_PTR |
2 |
ppos |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
pipe |
4096-ptr_max |
| PARAM_VALUE |
1 |
out |
0,4096-ptr_max |
| PARAM_VALUE |
3 |
len |
1-9223372036854775807 |
| PARAM_VALUE |
4 |
flags |
0-1,4-5 |
| BUF_SIZE |
0 |
pipe |
(-1),488 |
| BUF_SIZE |
0 |
pipe |
(-1),488 |
| DATA_SOURCE |
0 |
pipe |
$0 |
| BIT_INFO |
4 |
flags |
0x0,0x5 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
pipe->max_usage |
|
| NO_OVERFLOW_SIMPLE |
0 |
pipe->nr_accounted |
|
| NO_OVERFLOW_SIMPLE |
0 |
pipe->ring_size |
|
| NO_OVERFLOW_SIMPLE |
3 |
len |
|
| UNITS |
1 |
out |
unit_byte |
| UNITS |
3 |
len |
unit_byte |
| USER_PTR |
2 |
ppos |
|
