Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-kcopyd.c process_jobs() -> push_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | jobs | 4096-ptr_max |
| PARAM_VALUE | 1 | job | 4096-ptr_max |
| PARAM_VALUE | 1 | job->kc->pages | 0,4096-ptr_max |
| PARAM_VALUE | 1 | job->pages | 0,4096-ptr_max |
| PARAM_VALUE | 1 | job->pages->next | 0 |
| CAPPED_DATA | 0 | jobs | 1 |
| DATA_SOURCE | 0 | jobs | $0 |
| DATA_SOURCE | 1 | job | r pop |
| PARAM_COMPARE | 0 | jobs | != $0->next |
| PARAM_COMPARE | 0 | jobs | != $0->next |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |