Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
event |
0-5 |
| PARAM_VALUE |
1 |
work |
4096-ptr_max |
| PARAM_VALUE |
1 |
work->drain_node.next |
1-u64max |
| PARAM_VALUE |
1 |
work->drain_node.prev |
1-u64max |
| PARAM_VALUE |
2 |
ha |
4096-ptr_max |
| PARAM_VALUE |
2 |
ha->shost |
4096-ptr_max |
| DATA_SOURCE |
0 |
event |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&circularQ->oq_lock |
|
| HALF_LOCKED2 |
|
&mvi->lock |
|
| HALF_LOCKED2 |
|
&pm8001_ha->lock |
|
| HALF_LOCKED2 |
|
circularQ->lock_flags |
|
| HALF_LOCKED2 |
|
flags |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
event |
0-4 |
| PARAM_VALUE |
1 |
work |
4096-ptr_max |
| PARAM_VALUE |
1 |
work->drain_node.next |
1-u64max |
| PARAM_VALUE |
1 |
work->drain_node.prev |
1-u64max |
| PARAM_VALUE |
2 |
ha |
4096-ptr_max |
| PARAM_VALUE |
2 |
ha->shost |
4096-ptr_max |
| DATA_SOURCE |
0 |
event |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&circularQ->oq_lock |
|
| HALF_LOCKED2 |
|
&ha->disco_mutex |
|
| HALF_LOCKED2 |
|
&mvi->lock |
|
| HALF_LOCKED2 |
|
&pm8001_ha->lock |
|
| HALF_LOCKED2 |
|
circularQ->lock_flags |
|
| HALF_LOCKED2 |
|
flags |
|