Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
3648400060900683776 |
| PARAM_VALUE |
2 |
srcSize |
0-9223372036854775806 |
| DATA_SOURCE |
1 |
srcBuffer |
$2 |
| DATA_SOURCE |
2 |
srcSize |
$3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
6774801235684147200 |
| PARAM_VALUE |
2 |
srcSize |
0-9223372036854775806 |
| DATA_SOURCE |
1 |
srcBuffer |
$2 |
| DATA_SOURCE |
2 |
srcSize |
$3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
303264414692474880 |
| PARAM_VALUE |
1 |
srcBuffer |
4096-ptr_max |
| PARAM_VALUE |
2 |
srcSize |
0-u16max |
| DATA_SOURCE |
2 |
srcSize |
r MEM_readLE16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
1644625193545015296 |
| PARAM_VALUE |
2 |
srcSize |
0-u16max |
| DATA_SOURCE |
2 |
srcSize |
r MEM_readLE16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
7771953423906967552 |
| PARAM_VALUE |
1 |
srcBuffer |
4096-ptr_max |
| PARAM_VALUE |
2 |
srcSize |
0-u16max |
| DATA_SOURCE |
2 |
srcSize |
r MEM_readLE16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
4178830590180356096 |
| CAPPED_DATA |
2 |
srcSize |
1 |
| CAPPED_DATA |
2 |
srcSize |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
43335880172765184 |
| PARAM_VALUE |
1 |
srcBuffer |
4096-ptr_max |
| PARAM_VALUE |
2 |
srcSize |
0-u16max |
| DATA_SOURCE |
2 |
srcSize |
r MEM_readLE16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
150908724978429952 |
| PARAM_VALUE |
2 |
srcSize |
0-u16max |
| DATA_SOURCE |
2 |
srcSize |
r MEM_readLE16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
508837910933233664 |
| PARAM_VALUE |
1 |
srcBuffer |
4096-ptr_max |
| PARAM_VALUE |
2 |
srcSize |
0-u16max |
| DATA_SOURCE |
2 |
srcSize |
r MEM_readLE16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
8940829842582634496 |
| CAPPED_DATA |
2 |
srcSize |
1 |
| CAPPED_DATA |
2 |
srcSize |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
1945567605387571200 |
| DATA_SOURCE |
1 |
srcBuffer |
$3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| UNITS |
2 |
srcSize |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
8307066676692934656 |
| DATA_SOURCE |
1 |
srcBuffer |
$3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| UNITS |
2 |
srcSize |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
5236278125247270912 |
| DATA_SOURCE |
1 |
srcBuffer |
$3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |
| UNITS |
2 |
srcSize |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
bitD |
7550210545080655872 |
| PARAM_VALUE |
1 |
srcBuffer |
4096-ptr_max |
| PARAM_VALUE |
1 |
*srcBuffer |
0-255 |
| DATA_SOURCE |
1 |
srcBuffer |
$2 |
| DATA_SOURCE |
2 |
srcSize |
$3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
1 |
srcBuffer |
unit_byte |