Defined in 1 files as a function:
Referenced in 5 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
6836581889788919808 |
| PARAM_VALUE |
1 |
offset |
8490799919830777856 |
| PARAM_VALUE |
1 |
*offset |
8-u64max |
| PARAM_VALUE |
2 |
decoded |
1349861345677570056 |
| 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 |
1349861345677570060 |
| 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 |
1349861345677570064 |
| 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 |
1349861345677570068 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
3489897296109977600 |
| PARAM_VALUE |
1 |
*offset |
28 |
| PARAM_VALUE |
2 |
decoded |
7218634030521458688 |
| 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,64,68,76 |
| PARAM_VALUE |
2 |
decoded |
1788893215554433024 |
| 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 |
68,76,80,88 |
| PARAM_VALUE |
2 |
decoded |
6087335855121739776 |
| 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 |
6554480001467781120 |
| PARAM_VALUE |
1 |
*offset |
20 |
| PARAM_VALUE |
2 |
decoded |
4096-ptr_max |
| DATA_SOURCE |
0 |
buffer |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
3072474364332642304 |
| PARAM_VALUE |
1 |
*offset |
446 |
| PARAM_VALUE |
2 |
decoded |
2937489474264461312 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
4096-ptr_max |
| PARAM_VALUE |
1 |
offset |
3489897296109977600 |
| PARAM_VALUE |
1 |
*offset |
77-97 |
| PARAM_VALUE |
2 |
decoded |
4970457947253780480 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&md->type_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
2530205200528203776 |
| PARAM_VALUE |
1 |
offset |
3207372099144159232 |
| PARAM_VALUE |
1 |
*offset |
16 |
| 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 |
72 |
| 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 |
76 |
| 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 |
0 |
| PARAM_VALUE |
2 |
decoded |
3285774468994715656 |
| BUF_SIZE |
0 |
buffer |
40 |
| 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 |
4 |
| PARAM_VALUE |
2 |
decoded |
3285774468994715660 |
| BUF_SIZE |
0 |
buffer |
40 |
| 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 |
8 |
| PARAM_VALUE |
2 |
decoded |
3285774468994715664 |
| BUF_SIZE |
0 |
buffer |
40 |
| 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 |
12 |
| PARAM_VALUE |
2 |
decoded |
4681184196766781576 |
| BUF_SIZE |
0 |
buffer |
40 |
| 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 |
20 |
| PARAM_VALUE |
2 |
decoded |
4681184196766781580 |
| BUF_SIZE |
0 |
buffer |
40 |
| 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 |
24 |
| PARAM_VALUE |
2 |
decoded |
538734256189038592 |
| BUF_SIZE |
0 |
buffer |
40 |
| 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 |
28 |
| PARAM_VALUE |
2 |
decoded |
4681184196766781584 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
buffer |
437983903969779712 |
| PARAM_VALUE |
1 |
offset |
2474729990805929984 |
| PARAM_VALUE |
1 |
*offset |
8-u64max |
| PARAM_VALUE |
2 |
decoded |
1210075623290912776 |
| BUF_SIZE |
0 |
buffer |
12 |
| 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 |
8933262195611349024 |
| 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 |
8933262195611349028 |
| BUF_SIZE |
0 |
buffer |
40 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|