Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
raw_key |
6887393948047900672 |
| PARAM_VALUE |
1 |
raw_key_len |
16 |
| PARAM_VALUE |
2 |
data |
352041990172545024 |
| PARAM_VALUE |
3 |
data_len |
16 |
| BUF_SIZE |
0 |
raw_key |
16 |
| BUF_SIZE |
2 |
data |
16 |
| BUF_SIZE |
4 |
out |
64 |
| NOCHECK_CALL |
|
|
|
| UNITS |
1 |
raw_key_len |
unit_byte |
| UNITS |
3 |
data_len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
raw_key |
4096-ptr_max |
| PARAM_VALUE |
1 |
raw_key_len |
0-292 |
| PARAM_VALUE |
2 |
data |
4096-ptr_max |
| PARAM_VALUE |
3 |
data_len |
0-4096 |
| PARAM_VALUE |
4 |
out |
7692335964823842816 |
| BUF_SIZE |
4 |
out |
64 |
| DATA_SOURCE |
0 |
raw_key |
r alloc_guarded_buf |
| DATA_SOURCE |
2 |
data |
r alloc_guarded_buf |
| FUZZY_MAX |
1 |
raw_key_len |
292 |
| FUZZY_MAX |
3 |
data_len |
4096 |
| HARD_MAX |
1 |
raw_key_len |
292 |
| HARD_MAX |
3 |
data_len |
4096 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
raw_key |
1798355362516086784 |
| PARAM_VALUE |
1 |
raw_key_len |
64 |
| PARAM_VALUE |
2 |
data |
7023403903521607680 |
| PARAM_VALUE |
3 |
data_len |
48 |
| PARAM_VALUE |
4 |
out |
7023403903521607680 |
| BUF_SIZE |
0 |
raw_key |
64 |
| BUF_SIZE |
2 |
data |
64 |
| BUF_SIZE |
4 |
out |
64 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
1 |
raw_key_len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
raw_key |
4433514279276679168 |
| PARAM_VALUE |
1 |
raw_key_len |
64 |
| PARAM_VALUE |
2 |
data |
0,4051478449532006400 |
| PARAM_VALUE |
3 |
data_len |
0,16-128 |
| BUF_SIZE |
0 |
raw_key |
64 |
| BUF_SIZE |
2 |
data |
0,32,128 |
| BUF_SIZE |
2 |
data |
0,32,128 |
| BUF_SIZE |
4 |
out |
64 |
| DATA_SOURCE |
2 |
data |
$1 |
| DATA_SOURCE |
3 |
data_len |
$2 |
| FUZZY_MAX |
3 |
data_len |
32 |
| BIT_INFO |
2 |
data |
0x0,0x3839be2f27817000 |
| BIT_INFO |
2 |
data |
0x0,0x3839be2f27817000 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
3 |
data_len |
16-128[c] |
| UNITS |
1 |
raw_key_len |
unit_byte |
| UNITS |
3 |
data_len |
unit_byte |
| USER_PTR |
2 |
data |
|