Defined in 1 files as a function:
Referenced in 6 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
6836581889788919808 |
| PARAM_VALUE |
1 |
offset |
8490799919830777856 |
| PARAM_VALUE |
2 |
decoded |
1349861345677570072 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
6836581889788919808 |
| PARAM_VALUE |
1 |
offset |
8490799919830777856 |
| PARAM_VALUE |
2 |
decoded |
1349861345677570080 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
1850941061293985792 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
3346230497249390592 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
6088751511895879680 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
5114819556607848448 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
1 |
*offset |
52,60,120,128 |
| PARAM_VALUE |
2 |
decoded |
8626540279489703936 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
1 |
*offset |
60,68,128,136 |
| PARAM_VALUE |
2 |
decoded |
4700593772160577536 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
4096-ptr_max |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
1213671003920027648 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
4096-ptr_max |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
4029690365254434816 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
357921929813782528 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
5152111620531105792 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
2797293853113118720 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
941056719392690176 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
941056719392690176 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
941056719392690176 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
941056719392690176 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
941056719392690176 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
941056719392690176 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
941056719392690176 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
972123110163910656 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
decoded |
2038428311210127360 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
3489897296109977600 |
| PARAM_VALUE |
1 |
*offset |
32 |
| PARAM_VALUE |
2 |
decoded |
6079355400033951744 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&md->type_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
3489897296109977600 |
| PARAM_VALUE |
1 |
*offset |
56 |
| PARAM_VALUE |
2 |
decoded |
7537992604070748160 |
| PARAM_VALUE |
2 |
*decoded |
0 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&md->type_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
3489897296109977600 |
| PARAM_VALUE |
1 |
*offset |
60,68,72,80 |
| PARAM_VALUE |
2 |
decoded |
8885986010570842112 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&md->type_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
4378815575748210688 |
| PARAM_VALUE |
1 |
offset |
1510470635035852800 |
| PARAM_VALUE |
1 |
*offset |
0 |
| PARAM_VALUE |
2 |
decoded |
2542180468453400576 |
| BUF_SIZE |
0 |
buffer |
24 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
4378815575748210688 |
| PARAM_VALUE |
1 |
offset |
1510470635035852800 |
| PARAM_VALUE |
1 |
*offset |
8 |
| PARAM_VALUE |
2 |
decoded |
2542180468453400584 |
| BUF_SIZE |
0 |
buffer |
24 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
4187046941134864384 |
| PARAM_VALUE |
1 |
offset |
1510470635035852800 |
| PARAM_VALUE |
1 |
*offset |
0 |
| BUF_SIZE |
0 |
buffer |
24 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
4187046941134864384 |
| PARAM_VALUE |
1 |
offset |
1510470635035852800 |
| PARAM_VALUE |
1 |
*offset |
8 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
24 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
2530205200528203776 |
| PARAM_VALUE |
1 |
offset |
3207372099144159232 |
| PARAM_VALUE |
1 |
*offset |
0 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
64 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
2530205200528203776 |
| PARAM_VALUE |
1 |
offset |
3207372099144159232 |
| PARAM_VALUE |
1 |
*offset |
8 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
64 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
2530205200528203776 |
| PARAM_VALUE |
1 |
offset |
3207372099144159232 |
| PARAM_VALUE |
1 |
*offset |
32 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
64 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
2530205200528203776 |
| PARAM_VALUE |
1 |
offset |
3207372099144159232 |
| PARAM_VALUE |
1 |
*offset |
40 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
64 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
2530205200528203776 |
| PARAM_VALUE |
1 |
offset |
3207372099144159232 |
| PARAM_VALUE |
1 |
*offset |
48 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
64 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
4482406550577213440 |
| PARAM_VALUE |
1 |
*offset |
64 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
4482406550577213440 |
| PARAM_VALUE |
1 |
*offset |
88 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
4482406550577213440 |
| PARAM_VALUE |
1 |
*offset |
96 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
4482406550577213440 |
| PARAM_VALUE |
1 |
*offset |
104 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
4482406550577213440 |
| PARAM_VALUE |
1 |
*offset |
112 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
8259671396834820096 |
| PARAM_VALUE |
1 |
offset |
7541448302494674944 |
| PARAM_VALUE |
1 |
*offset |
32 |
| PARAM_VALUE |
2 |
decoded |
4681184196766781560 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
6233938859845402624 |
| PARAM_VALUE |
1 |
offset |
7541448302494674944 |
| PARAM_VALUE |
1 |
*offset |
0 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
6233938859845402624 |
| PARAM_VALUE |
1 |
offset |
7541448302494674944 |
| PARAM_VALUE |
1 |
*offset |
8 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| BUF_SIZE |
0 |
buffer |
16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
1319025205155606528 |
| PARAM_VALUE |
1 |
*offset |
8 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
8572784479267368960 |
| PARAM_VALUE |
1 |
offset |
1938850797259751424 |
| PARAM_VALUE |
1 |
*offset |
8-u64max |
| PARAM_VALUE |
2 |
decoded |
8933262195611349000 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
8572784479267368960 |
| PARAM_VALUE |
1 |
offset |
1938850797259751424 |
| PARAM_VALUE |
2 |
decoded |
8933262195611349008 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
8572784479267368960 |
| PARAM_VALUE |
1 |
offset |
1938850797259751424 |
| PARAM_VALUE |
2 |
decoded |
8933262195611349016 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|