Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| BUF_SIZE |
0 |
addr |
1-s32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&ct_priv->control_lock |
|
| HALF_LOCKED2 |
|
&devlink->lock |
|
| HALF_LOCKED2 |
|
&efx->tc->mutex |
|
| HALF_LOCKED2 |
|
global &pernet_ops_rwsem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
len |
2048 |
| DATA_SOURCE |
0 |
addr |
$0 |
| DATA_SOURCE |
1 |
len |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&rng->jent_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
0-18446744073709551614 |
| PARAM_VALUE |
1 |
len |
0-1048575 |
| BUF_SIZE |
0 |
addr |
0-1048575 |
| BUF_SIZE |
0 |
addr |
0-1048575 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| DATA_SOURCE |
1 |
len |
$3 |
| FUZZY_MAX |
1 |
len |
1048575 |
| NOSPEC |
1 |
len |
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
*addr |
s64min-s64max |
| USER_DATA |
1 |
len |
0-1048575[c] |
| UNITS |
1 |
len |
unit_byte |
| USER_PTR |
0 |
addr |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
0-18446744073709551614 |
| PARAM_VALUE |
1 |
len |
0-1048575 |
| BUF_SIZE |
0 |
addr |
0-1048575 |
| BUF_SIZE |
0 |
addr |
0-1048575 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| DATA_SOURCE |
1 |
len |
$3 |
| FUZZY_MAX |
1 |
len |
1048575 |
| NOSPEC |
1 |
len |
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
*addr |
s64min-s64max |
| USER_DATA |
1 |
len |
0-1048575[c] |
| UNITS |
1 |
len |
unit_byte |
| USER_PTR |
0 |
addr |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
0-18446744073709551614 |
| PARAM_VALUE |
1 |
len |
0-1048575 |
| BUF_SIZE |
0 |
addr |
0-1048575 |
| BUF_SIZE |
0 |
addr |
0-1048575 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| BIT_INFO |
1 |
len |
0x0,0x3fffffff |
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
len |
0-1048575[c] |
| UNITS |
1 |
len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
1-18446744073709551614 |
| PARAM_VALUE |
1 |
len |
1-9223372036854775806 |
| BUF_SIZE |
0 |
addr |
1-9223372036854775807 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| DATA_SOURCE |
0 |
addr |
r __kvmalloc_node_noprof |
| NOSPEC |
1 |
len |
|
| NOSPEC |
1 |
len |
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
len |
1-4096[c] |
| UNITS |
1 |
len |
unit_byte |
| BYTE_COUNT |
0 |
==addr1 |
8050 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
0-18446744073709551614 |
| PARAM_VALUE |
1 |
len |
0-9223372036854775807 |
| BUF_SIZE |
0 |
addr |
0-9223372036854775807 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| NOSPEC |
1 |
len |
|
| NOSPEC |
1 |
len |
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
len |
1-4096[c] |
| UNITS |
1 |
len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
0,16,4096-ptr_max |
| PARAM_VALUE |
1 |
len |
0-4096 |
| BUF_SIZE |
0 |
addr |
0-4096 |
| BUF_SIZE |
0 |
addr |
0-4096 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| DATA_SOURCE |
1 |
len |
$2 |
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
*addr |
s64min-s64max |
| USER_DATA |
1 |
len |
0-4096[c] |
| UNITS |
1 |
len |
unit_byte |
| USER_PTR |
0 |
addr |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
len |
0-240518168520 |
| BUF_SIZE |
0 |
addr |
(-1),56-s32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
1 |
len |
56-14336[c] |
| HALF_LOCKED2 |
|
global &tfms_init_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
1-18446744073709551614 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| DATA_SOURCE |
0 |
addr |
r __kvmalloc_node_noprof |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
1 |
len |
unit_byte |
| HALF_LOCKED2 |
|
global &key_types_sem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
1-18446744073709551614 |
| DATA_SOURCE |
0 |
addr |
r __kvmalloc_node_noprof |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
len |
16-1048591[c] |
| UNITS |
1 |
len |
unit_byte |
| HALF_LOCKED2 |
|
global &key_types_sem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
1-18446744073709551614 |
| PARAM_VALUE |
1 |
len |
1505-1048592 |
| BUF_SIZE |
0 |
addr |
1505-1048592 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| DATA_SOURCE |
0 |
addr |
r __kvmalloc_node_noprof |
| NOCHECK_CALL |
|
|
|
| UNITS |
1 |
len |
unit_byte |
| LOCK2 |
|
&key->sem |
|
| TYPE_LOCK |
|
(struct key)->sem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
addr |
16,4096-ptr_max |
| PARAM_VALUE |
0 |
*addr |
0-255 |
| BUF_SIZE |
0 |
addr |
0-u32max |
| CAPPED_DATA |
1 |
len |
1 |
| DATA_SOURCE |
0 |
addr |
r kvmemdup |
| DATA_SOURCE |
1 |
len |
r aa_unpack_blob |
| NOCHECK_CALL |
|
|
|
| BYTE_COUNT |
0 |
==addr1 |
8050 |