Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
6554480001467781120 |
| PARAM_VALUE |
2 |
header |
3325208881496784896 |
| 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 |
32,40,100,108 |
| PARAM_VALUE |
2 |
header |
1429393609253703680 |
| 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 |
header |
2469300275234521088 |
| 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 |
header |
5632570742562897920 |
| 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 |
3072474364332642304 |
| PARAM_VALUE |
1 |
*offset |
0 |
| PARAM_VALUE |
2 |
header |
6586733658567495680 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
offset |
3489897296109977600 |
| PARAM_VALUE |
1 |
*offset |
8 |
| PARAM_VALUE |
2 |
header |
5099716072311042048 |
| DATA_SOURCE |
0 |
buffer |
$0 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&md->type_lock |
|