Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dev |
16,4096-ptr_max |
| PARAM_VALUE |
3 |
buf |
494808459724075008 |
| PARAM_VALUE |
4 |
flags |
2080,3264 |
| PARAM_VALUE |
5 |
dir |
2 |
| BUF_SIZE |
0 |
dev |
1616 |
| FUZZY_MAX |
4 |
flags |
3264 |
| BIT_INFO |
4 |
flags |
0x800,0xce0 |
| NOSPEC |
2 |
nbytes |
|
| NOSPEC |
2 |
nbytes |
|
| HARD_MAX |
4 |
flags |
3264 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
1 |
sg->length |
0-2147483646[c] |
| USER_DATA |
1 |
sg->length |
1-u32max[c] |
| USER_DATA |
1 |
sg->offset |
0-2147551739[c] |
| USER_DATA |
2 |
nbytes |
0-u32max |
| UNITS |
1 |
sg |
unit_byte |
| UNITS |
2 |
nbytes |
unit_byte |
| HALF_LOCKED2 |
|
&mkey->sem |
|
| HALF_LOCKED2 |
|
s->tfm_mutex |
|
| HALF_LOCKED2 |
|
tfm_mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dev |
16,4096-ptr_max |
| PARAM_VALUE |
3 |
buf |
6198044292480704512 |
| PARAM_VALUE |
4 |
flags |
2080,3264 |
| PARAM_VALUE |
5 |
dir |
0-1 |
| BUF_SIZE |
0 |
dev |
1616 |
| FUZZY_MAX |
4 |
flags |
3264 |
| FUZZY_MAX |
5 |
dir |
1 |
| BIT_INFO |
4 |
flags |
0x800,0xfff |
| NOSPEC |
2 |
nbytes |
|
| NOSPEC |
2 |
nbytes |
|
| HARD_MAX |
4 |
flags |
3264 |
| HARD_MAX |
5 |
dir |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
1 |
sg->length |
0-2147483646[c] |
| USER_DATA |
1 |
sg->length |
1-u32max[c] |
| USER_DATA |
1 |
sg->offset |
0-2147551739[c] |
| USER_DATA |
2 |
nbytes |
0-u32max |
| UNITS |
1 |
sg |
unit_byte |
| UNITS |
2 |
nbytes |
unit_byte |
| HALF_LOCKED2 |
|
&mkey->sem |
|
| HALF_LOCKED2 |
|
s->tfm_mutex |
|
| HALF_LOCKED2 |
|
tfm_mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dev |
16,4096-ptr_max |
| PARAM_VALUE |
3 |
buf |
1953386888593326080 |
| PARAM_VALUE |
4 |
flags |
2080,3264 |
| PARAM_VALUE |
5 |
dir |
0 |
| BUF_SIZE |
0 |
dev |
1616 |
| FUZZY_MAX |
4 |
flags |
3264 |
| BIT_INFO |
4 |
flags |
0x800,0xce0 |
| HARD_MAX |
4 |
flags |
3264 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
1 |
sg->length |
0-2147483646[c] |
| USER_DATA |
1 |
sg->length |
1-2147483646[c] |
| USER_DATA |
1 |
sg->offset |
0-2147551739[c] |
| NO_OVERFLOW_SIMPLE |
1 |
sg->length |
|
| UNITS |
1 |
sg |
unit_byte |
| UNITS |
2 |
nbytes |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dev |
16,4096-ptr_max |
| PARAM_VALUE |
3 |
buf |
8684771096647757824 |
| PARAM_VALUE |
4 |
flags |
2080,3264 |
| PARAM_VALUE |
5 |
dir |
2 |
| BUF_SIZE |
0 |
dev |
1616 |
| FUZZY_MAX |
4 |
flags |
3264 |
| BIT_INFO |
4 |
flags |
0x800,0xfff |
| HARD_MAX |
4 |
flags |
3264 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
1 |
sg->length |
0-2147483646[c] |
| USER_DATA |
1 |
sg->length |
1-2147483646[c] |
| USER_DATA |
1 |
sg->offset |
0-2147551739[c] |
| NO_OVERFLOW_SIMPLE |
1 |
sg->length |
|
| UNITS |
1 |
sg |
unit_byte |
| UNITS |
2 |
nbytes |
unit_byte |