Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
lock |
4096-ptr_max |
| PARAM_VALUE |
0 |
lock->ast_list.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
lock->ast_pending |
0 |
| PARAM_VALUE |
0 |
lock->bast_list.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
lock->bast_pending |
0 |
| PARAM_VALUE |
0 |
lock->list.next |
4096-ptr_max |
| CAPPED_DATA |
0 |
&lock->ast_list |
1 |
| CAPPED_DATA |
0 |
&lock->bast_list |
1 |
| CAPPED_DATA |
0 |
&lock->list |
1 |
| PARAM_COMPARE |
0 |
&lock->ast_list |
== $0->ast_list.next |
| PARAM_COMPARE |
0 |
&lock->bast_list |
== $0->bast_list.next |
| PARAM_COMPARE |
0 |
&lock->list |
== $0->list.next |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&dlm->ast_lock |
|
| HALF_LOCKED2 |
|
&dlm->spinlock |
|
| HALF_LOCKED2 |
|
&lock->spinlock |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| HALF_LOCKED2 |
|
&res->spinlock |
|
