Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-snap.c __remove_single_exception_chunk() -> free_completed_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->hash_list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | e->hash_list.pprev | 4096-ptr_max |
| CAPPED_DATA | 0 | e->old_chunk | 1 |
| DATA_SOURCE | 0 | e | r dm_lookup_exception |
| NOCHECK_CALL | |||
| LOCK2 | &pool->lock | ||
| LOCK2 | &s->lock | ||
| TYPE_LOCK | (struct dm_snapshot)->lock |
drivers/md/dm-snap.c dm_insert_exception() -> free_completed_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->new_chunk | 1-72057594037928191 |
| CAPPED_DATA | 0 | e->new_chunk | 1 |
| CAPPED_DATA | 0 | e->old_chunk | 1 |
| DATA_SOURCE | 0 | e | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | lock.complete_slot | ||
| HALF_LOCKED2 | lock.pending_slot |
drivers/md/dm-snap.c dm_insert_exception() -> free_completed_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| CAPPED_DATA | 0 | e->new_chunk | 1 |
| CAPPED_DATA | 0 | e->old_chunk | 1 |
| DATA_SOURCE | 0 | e | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | lock.complete_slot | ||
| HALF_LOCKED2 | lock.pending_slot |
drivers/md/dm-snap.c pending_complete() -> free_completed_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| DATA_SOURCE | 0 | e | r alloc_completed_exception |
| NOCHECK_CALL | |||
| LOCK2 | lock.complete_slot | ||
| LOCK2 | lock.pending_slot |