Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-thin.c break_sharing() -> alloc_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tc | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->all_io_ds->current_entry | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->next_mapping | 1-u64max |
| PARAM_VALUE | 0 | tc->pool->next_mapping->tc->td->changed | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->data_block_size | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->fail_io | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->flags | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->in_service | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->time | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->prison | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->prison->cell_pool.curr_nr | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->shared_read_ds->current_entry | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->throttle.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | tc->requeue_mode | 0 |
| PARAM_VALUE | 0 | tc->td | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->td->changed | 0-1 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | result | 4354779249353379840 |
| CAPPED_DATA | 0 | tc->td->snapshotted_time | 1 |
| DATA_SOURCE | 0 | tc | $0 |
| LOCK2 | &pool->lock |
drivers/md/dm-thin.c provision_block() -> alloc_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tc | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->deferred_cells.next | 1-u64max |
| PARAM_VALUE | 0 | tc->deferred_cells.next->next | 1-u64max |
| PARAM_VALUE | 0 | tc->deferred_cells.prev | 1-u64max |
| PARAM_VALUE | 0 | tc->deferred_cells.prev->next | 1-u64max |
| PARAM_VALUE | 0 | tc->deferred_cells.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | tc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->all_io_ds->current_entry | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->next_mapping | 1-u64max |
| PARAM_VALUE | 0 | tc->pool->next_mapping->tc->td->changed | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->data_block_size | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->fail_io | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->flags | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->in_service | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->time | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->shared_read_ds->current_entry | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->throttle.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | tc->requeue_mode | 0 |
| PARAM_VALUE | 0 | tc->td | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->td->changed | 0-1 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | tc->td->pmd->root_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | result | 7846445133427396608 |
| DATA_SOURCE | 0 | tc | $0 |
| LOCK2 | &pool->lock |