Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin.c schedule_zero() -> process_prepared_mapping()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->bio 0
PARAM_VALUE 0 m->cell 4096-ptr_max
PARAM_VALUE 0 m->cell->holder 4096-ptr_max
PARAM_VALUE 0 m->prepare_actions.counter 1
PARAM_VALUE 0 m->tc 4096-ptr_max
PARAM_VALUE 0 m->tc->pool 4096-ptr_max
PARAM_VALUE 0 m->tc->requeue_mode 0
PARAM_VALUE 0 m->tc->td 4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->cell->key.block_begin
NO_OVERFLOW_SIMPLE 0 m->cell->key.block_end
LOCK2 &pool->lock

drivers/md/dm-thin.c process_prepared() -> process_prepared param 2()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock