Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-thin.c provision_block() -> schedule_zero()
| 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->origin_dev | 0 |
| 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->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool->low_water_triggered | 1 |
| 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->no_space_timeout->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->no_space_timeout.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->no_space_timeout.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->no_space_timeout.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->cache.num_locks | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->read_only | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->data_block_size | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->data_sm | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->fail_io | 0 |
| PARAM_VALUE | 0 | tc->pool->pmd->flags | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->in_service | 1 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->time | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->async_write_error | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->cache.num_locks | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool->process_bio | 1384511198513909760,7991807685926547456,8752578213440634880 |
| PARAM_VALUE | 0 | tc->pool->process_cell | 819502686028488704,1438208356453273600,6457992192310935552 |
| PARAM_VALUE | 0 | tc->pool->process_discard | 1384511198513909760,2353795378601926656,4998615616779755520 |
| PARAM_VALUE | 0 | tc->pool->process_discard_cell | 1438208356453273600,2546112863210897408,4734942750516097024,5004307637888102400 |
| PARAM_VALUE | 0 | tc->pool->process_prepared_discard | 1575030001462607872,3207567192974540800,7211498306549579776,7715493549760503808 |
| PARAM_VALUE | 0 | tc->pool->process_prepared_discard_pt2 | 871277747596689408 |
| PARAM_VALUE | 0 | tc->pool->process_prepared_mapping | 6761281512312950784,8664862613375811584 |
| 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->pool->ti->private->adjusted_pf.mode | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->ti->table->event_context->event_nr.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->ti->table->event_context->uevent_lock.rlock.dep_map->name | 0-255 |
| 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 | 3 | cell | 4096-ptr_max |
| PARAM_VALUE | 3 | cell->holder | 4096-ptr_max |
| PARAM_VALUE | 4 | bio | 4096-ptr_max |
| PARAM_VALUE | 4 | bio->bi_iter.bi_size | 1-u32max |
| CAPPED_DATA | 0 | tc->pool->pmd->data_block_size | 1 |
| CAPPED_DATA | 0 | tc->pool->pmd->metadata_reserve | 1 |
| DATA_SOURCE | 0 | tc | $0 |
| DATA_SOURCE | 1 | virt_block | $2 |
| DATA_SOURCE | 3 | cell | $3 |
| DATA_SOURCE | 4 | bio | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &pool->lock |
drivers/md/dm-thin.c schedule_external_copy() -> schedule_zero()
| 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->origin_dev | 1-u64max |
| PARAM_VALUE | 0 | tc->origin_size | 0-18446744073709551614 |
| 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->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool->low_water_triggered | 1 |
| 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->no_space_timeout->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->no_space_timeout.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->cache.num_locks | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->bufio->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->bm->read_only | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->data_block_size | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->data_sm | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->details_info.tm->bm->bufio->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->fail_io | 0 |
| PARAM_VALUE | 0 | tc->pool->pmd->flags | 0-s64max |
| PARAM_VALUE | 0 | tc->pool->pmd->in_service | 1 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | tc->pool->pmd->root_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->time | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->async_write_error | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->cache.num_locks | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->bm->bufio->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->pmd->tm->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tc->pool->process_bio | 1384511198513909760,7991807685926547456,8752578213440634880 |
| PARAM_VALUE | 0 | tc->pool->process_cell | 819502686028488704,1438208356453273600,6457992192310935552 |
| PARAM_VALUE | 0 | tc->pool->process_discard | 1384511198513909760,2353795378601926656,4998615616779755520 |
| PARAM_VALUE | 0 | tc->pool->process_discard_cell | 1438208356453273600,2546112863210897408,4734942750516097024,5004307637888102400 |
| PARAM_VALUE | 0 | tc->pool->process_prepared_discard | 1575030001462607872,3207567192974540800,7211498306549579776,7715493549760503808 |
| PARAM_VALUE | 0 | tc->pool->process_prepared_discard_pt2 | 871277747596689408 |
| PARAM_VALUE | 0 | tc->pool->process_prepared_mapping | 6761281512312950784,8664862613375811584 |
| 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->pool->ti->private->adjusted_pf.mode | 0-4294967295 |
| PARAM_VALUE | 0 | tc->pool->ti->table->event_context->event_nr.counter | s32min-s32max |
| PARAM_VALUE | 0 | tc->pool->ti->table->event_context->uevent_list.next->prev | 4676452854923595776 |
| PARAM_VALUE | 0 | tc->pool->ti->table->event_context->uevent_list.next->prev->next | 4676452854923595776 |
| PARAM_VALUE | 0 | tc->pool->ti->table->event_context->uevent_lock.rlock.dep_map->name | 0-255 |
| 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 | 3 | cell | 4096-ptr_max |
| PARAM_VALUE | 3 | cell->holder | 4096-ptr_max |
| PARAM_VALUE | 4 | bio | 4096-ptr_max |
| PARAM_VALUE | 4 | bio->bi_iter.bi_size | 1-u32max |
| CAPPED_DATA | 0 | tc->origin_size | 1 |
| CAPPED_DATA | 0 | tc->pool->pmd->data_block_size | 1 |
| CAPPED_DATA | 0 | tc->pool->pmd->metadata_reserve | 1 |
| DATA_SOURCE | 0 | tc | $0 |
| DATA_SOURCE | 1 | virt_block | $1 |
| DATA_SOURCE | 2 | data_block | $2 |
| DATA_SOURCE | 3 | cell | $3 |
| DATA_SOURCE | 4 | bio | $4 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | cell->key.block_begin | |
| NO_OVERFLOW_SIMPLE | 3 | cell->key.block_end | |
| LOCK2 | &pool->lock |