Open Menu /

Defined in 1 files as a member:

Defined in 2 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/md/dm-raid1.c mirror_ctr() -> free_context()

Type Parameter Key Value
PARAM_VALUE 0 ms 4096-ptr_max
PARAM_VALUE 0 ms->default_mirror.counter 0
PARAM_VALUE 0 ms->failures.head 0
PARAM_VALUE 0 ms->failures.tail 0
PARAM_VALUE 0 ms->holds.head 0
PARAM_VALUE 0 ms->holds.tail 0
PARAM_VALUE 0 ms->in_sync 0
PARAM_VALUE 0 ms->io_client 4096-ptr_max
PARAM_VALUE 0 ms->io_client->bios.back_pad 0,64
PARAM_VALUE 0 ms->io_client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 ms->io_client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->io_client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 ms->io_client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 ms->io_client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 ms->io_client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->io_client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 ms->io_client->bios.front_pad 0
PARAM_VALUE 0 ms->io_client->bios.rescue_list.head 0
PARAM_VALUE 0 ms->io_client->bios.rescue_list.tail 0
PARAM_VALUE 0 ms->io_client->pool.alloc 7276475779886346240
PARAM_VALUE 0 ms->io_client->pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->io_client->pool.free 8263660038527102976
PARAM_VALUE 0 ms->io_client->pool.min_nr 1-1024
PARAM_VALUE 0 ms->leg_failure 0
PARAM_VALUE 0 ms->log_failure 0
PARAM_VALUE 0 ms->nr_mirrors 2-9
PARAM_VALUE 0 ms->reads.head 0
PARAM_VALUE 0 ms->reads.tail 0
PARAM_VALUE 0 ms->rh 4096-ptr_max
PARAM_VALUE 0 ms->rh->dispatch_bios 4353285339862876160
PARAM_VALUE 0 ms->rh->flush_failure 0
PARAM_VALUE 0 ms->rh->hash_lock.magic 3736018669
PARAM_VALUE 0 ms->rh->hash_lock.owner (-1)
PARAM_VALUE 0 ms->rh->hash_lock.owner_cpu 4294967295
PARAM_VALUE 0 ms->rh->log 4096-ptr_max
PARAM_VALUE 0 ms->rh->log->context s64min-(-4096),4096-s64max
PARAM_VALUE 0 ms->rh->log->flush_callback_fn 3798857139726356480
PARAM_VALUE 0 ms->rh->log->type s64min-(-4096),4096-s64max
PARAM_VALUE 0 ms->rh->mask 63,127,255
PARAM_VALUE 0 ms->rh->max_recovery 1
PARAM_VALUE 0 ms->rh->nr_buckets 64,128,256
PARAM_VALUE 0 ms->rh->prime 2654435387
PARAM_VALUE 0 ms->rh->recovery_in_flight.counter 0
PARAM_VALUE 0 ms->rh->region_pool.alloc 478628002987114496
PARAM_VALUE 0 ms->rh->region_pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->rh->region_pool.free 9178302734063534080
PARAM_VALUE 0 ms->rh->region_pool.min_nr 64
PARAM_VALUE 0 ms->rh->region_pool.pool_data 80
PARAM_VALUE 0 ms->rh->shift 12
PARAM_VALUE 0 ms->rh->wakeup_all_recovery_waiters 8849823551675777024
PARAM_VALUE 0 ms->rh->wakeup_workers 8888506106134781952
PARAM_VALUE 0 ms->suspend.counter 0
PARAM_VALUE 0 ms->ti 4096-ptr_max
PARAM_VALUE 0 ms->ti->error 6178336389065121792
PARAM_VALUE 0 ms->ti->len 1-u64max
PARAM_VALUE 0 ms->ti->table 4096-ptr_max
PARAM_VALUE 0 ms->ti->type 4096-ptr_max
PARAM_VALUE 0 ms->writes.head 0
PARAM_VALUE 0 ms->writes.tail 0
PARAM_VALUE 1 ti 4096-ptr_max
PARAM_VALUE 1 ti->error 5071088222843940864,6225525821065568256
PARAM_VALUE 1 ti->len 1-u64max
PARAM_VALUE 1 ti->table 4096-ptr_max
PARAM_VALUE 1 ti->table->md->table_devices_lock.dep_map->name 0-255
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 ti->table->md->table_devices_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 ti->table->mode 1,3
PARAM_VALUE 1 ti->table->num_allocated 8-1048576
PARAM_VALUE 1 ti->table->num_targets 0-1048575
PARAM_VALUE 1 ti->table->type 0
PARAM_VALUE 1 ti->type 4096-ptr_max
PARAM_VALUE 1 ti->type->module 0,4096-ptr_max
PARAM_VALUE 1 ti->type->module->refcnt.counter 0-s32max
PARAM_VALUE 1 ti->type->module->state 0-1,3-u32max
PARAM_VALUE 2 m 0-8
BUF_SIZE 0 ms 576-856
BUF_SIZE 0 ms 576-856
CAPPED_DATA 0 ms->rh 1
CAPPED_DATA 0 ms->rh->buckets 1
CAPPED_DATA 0 ms->rh->target_begin 1
CAPPED_DATA 0 ms->ti->begin 1
CAPPED_DATA 0 ms->ti->len 1
CAPPED_DATA 1 ti->begin 1
CAPPED_DATA 1 ti->len 1
CAPPED_DATA 1 ti->table->num_targets 1
CAPPED_DATA 1 ti->type 1
CAPPED_DATA 2 m 1
DATA_SOURCE 0 ms r alloc_context
DATA_SOURCE 1 ti $0
FUZZY_MAX 2 m 8
STR_LEN 0 ms->ti->error 13
STR_LEN 1 ti->error (-1)
TERMINATED 0 ms->ti->error 1
TERMINATED 1 ti->error 1
HARD_MAX 2 m 8
MEM_ZERO 1 ti
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ms->io_client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ms->io_client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ms->rh->target_begin
NO_OVERFLOW_SIMPLE 0 ms->ti->begin
NO_OVERFLOW_SIMPLE 0 ms->ti->len
NO_OVERFLOW_SIMPLE 1 ti->begin
NO_OVERFLOW_SIMPLE 1 ti->len
NO_OVERFLOW_SIMPLE 1 ti->table->num_allocated
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid1.c mirror_ctr() -> free_context()

Type Parameter Key Value
PARAM_VALUE 0 ms 4096-ptr_max
PARAM_VALUE 0 ms->default_mirror.counter 0
PARAM_VALUE 0 ms->failures.head 0
PARAM_VALUE 0 ms->failures.tail 0
PARAM_VALUE 0 ms->holds.head 0
PARAM_VALUE 0 ms->holds.tail 0
PARAM_VALUE 0 ms->in_sync 0
PARAM_VALUE 0 ms->io_client 4096-ptr_max
PARAM_VALUE 0 ms->io_client->bios.back_pad 0,64
PARAM_VALUE 0 ms->io_client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 ms->io_client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->io_client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 ms->io_client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 ms->io_client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 ms->io_client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->io_client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 ms->io_client->bios.front_pad 0
PARAM_VALUE 0 ms->io_client->bios.rescue_list.head 0
PARAM_VALUE 0 ms->io_client->bios.rescue_list.tail 0
PARAM_VALUE 0 ms->io_client->pool.alloc 7276475779886346240
PARAM_VALUE 0 ms->io_client->pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->io_client->pool.free 8263660038527102976
PARAM_VALUE 0 ms->io_client->pool.min_nr 1-1024
PARAM_VALUE 0 ms->kmirrord_wq->flags 0-4294967295
PARAM_VALUE 0 ms->kmirrord_wq->flush_color s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->rescuer 0
PARAM_VALUE 0 ms->kmirrord_wq->work_color s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev 0
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->device_count 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.p->dead 1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.completion.done 4294967295
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.qos (-19),0
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.runtime_status 2
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ms->leg_failure 0
PARAM_VALUE 0 ms->log_failure 0
PARAM_VALUE 0 ms->nr_mirrors 2-9
PARAM_VALUE 0 ms->reads.head 0
PARAM_VALUE 0 ms->reads.tail 0
PARAM_VALUE 0 ms->rh 4096-ptr_max
PARAM_VALUE 0 ms->rh->dispatch_bios 4353285339862876160
PARAM_VALUE 0 ms->rh->flush_failure 0
PARAM_VALUE 0 ms->rh->hash_lock.magic 3736018669
PARAM_VALUE 0 ms->rh->hash_lock.owner (-1)
PARAM_VALUE 0 ms->rh->hash_lock.owner_cpu 4294967295
PARAM_VALUE 0 ms->rh->log 4096-ptr_max
PARAM_VALUE 0 ms->rh->log->context s64min-(-4096),4096-s64max
PARAM_VALUE 0 ms->rh->log->flush_callback_fn 3798857139726356480
PARAM_VALUE 0 ms->rh->log->type s64min-(-4096),4096-s64max
PARAM_VALUE 0 ms->rh->mask 63,127,255
PARAM_VALUE 0 ms->rh->max_recovery 1
PARAM_VALUE 0 ms->rh->nr_buckets 64,128,256
PARAM_VALUE 0 ms->rh->prime 2654435387
PARAM_VALUE 0 ms->rh->recovery_in_flight.counter 0
PARAM_VALUE 0 ms->rh->region_pool.alloc 478628002987114496
PARAM_VALUE 0 ms->rh->region_pool.curr_nr 1-s32max
PARAM_VALUE 0 ms->rh->region_pool.free 9178302734063534080
PARAM_VALUE 0 ms->rh->region_pool.min_nr 64
PARAM_VALUE 0 ms->rh->region_pool.pool_data 80
PARAM_VALUE 0 ms->rh->shift 12
PARAM_VALUE 0 ms->rh->wakeup_all_recovery_waiters 8849823551675777024
PARAM_VALUE 0 ms->rh->wakeup_workers 8888506106134781952
PARAM_VALUE 0 ms->suspend.counter 0
PARAM_VALUE 0 ms->ti 4096-ptr_max
PARAM_VALUE 0 ms->ti->error 2547292827690545152,6010620044537020416,6178336389065121792,6738012374134792192,6894647089322225664
PARAM_VALUE 0 ms->ti->len 1-u64max
PARAM_VALUE 0 ms->ti->table 4096-ptr_max
PARAM_VALUE 0 ms->ti->type 4096-ptr_max
PARAM_VALUE 0 ms->timer.entry.pprev 0
PARAM_VALUE 0 ms->timer.flags 0-4194302
PARAM_VALUE 0 ms->timer.lockdep_map->name 0-255
PARAM_VALUE 0 ms->timer_pending 0
PARAM_VALUE 0 ms->writes.head 0
PARAM_VALUE 0 ms->writes.tail 0
PARAM_VALUE 0 *ms->kmirrord_wq->lockdep_map->name 0-255
PARAM_VALUE 1 ti 4096-ptr_max
PARAM_VALUE 1 ti->error 4799100128911364096,6178336389065121792
PARAM_VALUE 1 ti->len 1-u64max
PARAM_VALUE 1 ti->num_discard_bios 0-1
PARAM_VALUE 1 ti->num_flush_bios 0-1
PARAM_VALUE 1 ti->per_io_data_size 0,80
PARAM_VALUE 1 ti->private 4096-ptr_max
PARAM_VALUE 1 ti->table 4096-ptr_max
PARAM_VALUE 1 ti->table->md->disk->slave_dir->sd->__parent 0
PARAM_VALUE 1 ti->table->md->disk->slave_dir->sd->count.counter s32min-s32max
PARAM_VALUE 1 ti->table->md->table_devices_lock.dep_map->name 0-255
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 ti->table->md->table_devices_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 ti->table->mode 1,3
PARAM_VALUE 1 ti->table->num_allocated 8-1048576
PARAM_VALUE 1 ti->table->num_targets 0-1048575
PARAM_VALUE 1 ti->table->type 0
PARAM_VALUE 1 ti->type 4096-ptr_max
PARAM_VALUE 1 ti->type->module 0,4096-ptr_max
PARAM_VALUE 1 ti->type->module->refcnt.counter 0-s32max
PARAM_VALUE 1 ti->type->module->state 0-1,3-u32max
PARAM_VALUE 2 m 2-9
BUF_SIZE 0 ms 576-856
BUF_SIZE 0 ms 576-856
BUF_SIZE 0 ms->kmirrord_wq (-1),512,528-8720
BUF_SIZE 1 ti->error (-1),14,26
BUF_SIZE 1 ti->private 576-856
CAPPED_DATA 0 ms->rh 1
CAPPED_DATA 0 ms->rh->buckets 1
CAPPED_DATA 0 ms->rh->target_begin 1
CAPPED_DATA 0 ms->ti->begin 1
CAPPED_DATA 0 ms->ti->len 1
CAPPED_DATA 1 ti->begin 1
CAPPED_DATA 1 ti->len 1
CAPPED_DATA 1 ti->table->md->disk 1
CAPPED_DATA 1 ti->table->num_targets 1
CAPPED_DATA 1 ti->type 1
DATA_SOURCE 0 ms r alloc_context
DATA_SOURCE 1 ti $0
FUZZY_MAX 1 ti->num_discard_bios 1
FUZZY_MAX 1 ti->num_flush_bios 1
FUZZY_MAX 1 ti->per_io_data_size 80
STR_LEN 0 ms->ti->error (-1),13
STR_LEN 1 ti->error (-1),13,25
BIT_INFO 1 ti->error 0x4099d42229080000,0x57bddc37fd5bb000
TERMINATED 0 ms->ti->error 1
TERMINATED 1 ti->error 1
HARD_MAX 1 ti->num_discard_bios 1
HARD_MAX 1 ti->num_flush_bios 1
HARD_MAX 1 ti->per_io_data_size 80
MEM_ZERO 1 ti
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ms->io_client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ms->io_client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ms->kcopyd_client->io_client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ms->kcopyd_client->io_client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ms->rh->target_begin
NO_OVERFLOW_SIMPLE 0 ms->ti->begin
NO_OVERFLOW_SIMPLE 0 ms->ti->len
NO_OVERFLOW_SIMPLE 1 ti->begin
NO_OVERFLOW_SIMPLE 1 ti->len
NO_OVERFLOW_SIMPLE 1 ti->max_io_len
NO_OVERFLOW_SIMPLE 1 ti->table->num_allocated
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid1.c mirror_dtr() -> free_context()

Type Parameter Key Value
PARAM_VALUE 0 ms 4096-ptr_max
PARAM_VALUE 0 ms->kcopyd_client 4096-ptr_max
PARAM_VALUE 0 ms->kcopyd_client->io_client 4096-ptr_max
PARAM_VALUE 0 ms->kcopyd_client->io_client->bios->rescue_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq 4096-ptr_max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->flags 0-4294967295
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->flush_color s32min-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->work_color s32min-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->device_count 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.p->dead 1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.power.completion.done 4294967295
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.power.qos (-19),0
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.power.runtime_status 2
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 ms->kcopyd_client->kcopyd_wq->wq_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ms->kmirrord_wq 4096-ptr_max
PARAM_VALUE 0 ms->kmirrord_wq->flags 0-4294967295
PARAM_VALUE 0 ms->kmirrord_wq->flush_color s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->rescuer 0
PARAM_VALUE 0 ms->kmirrord_wq->work_color s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev 0
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->device_count 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.p->dead 1
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.completion.done 4294967295
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.qos (-19),0
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.runtime_status 2
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 ms->kmirrord_wq->wq_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ms->timer.entry.pprev 0
PARAM_VALUE 0 ms->timer.flags 0-4194302
PARAM_VALUE 0 ms->timer.function 0
PARAM_VALUE 0 *ms->kcopyd_client->kcopyd_wq->lockdep_map->name 0-255
PARAM_VALUE 0 *ms->kcopyd_client->kcopyd_wq->rescuer->task->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *ms->kmirrord_wq->lockdep_map->name 0-255
PARAM_VALUE 1 ti 4096-ptr_max
PARAM_VALUE 1 ti->private 4096-ptr_max
PARAM_VALUE 1 ti->type 4096-ptr_max
PARAM_VALUE 1 ti->type->dtr 1-u64max
BUF_SIZE 0 ms 16,40-s32max
BUF_SIZE 0 ms 16,40-s32max
CAPPED_DATA 0 ms->kcopyd_client 1
CAPPED_DATA 0 &ms->timer 1
CAPPED_DATA 0 &ms->trigger_event 1
DATA_SOURCE 1 ti $0
PARAM_COMPARE 0 ms->kcopyd_client->nr_free_pages == $0->kcopyd_client->nr_reserved_pages
PARAM_COMPARE 0 &ms->kcopyd_client->callback_jobs == $0->kcopyd_client->callback_jobs.next
PARAM_COMPARE 0 &ms->kcopyd_client->complete_jobs == $0->kcopyd_client->complete_jobs.next
PARAM_COMPARE 0 &ms->kcopyd_client->io_jobs == $0->kcopyd_client->io_jobs.next
PARAM_COMPARE 0 &ms->kcopyd_client->pages_jobs == $0->kcopyd_client->pages_jobs.next
NOCHECK_CALL

Smatch assignments to (struct regmap_bus)->free_context:

sound/soc/codecs/cs35l56-shared-test.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/hwmon/lm92.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/adc/ad7091r8.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/mt6370.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/dsa/microchip/ksz8863_smi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-sccb.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/adc/ad4030.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/dac/max22007.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/mc13xxx-spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-i3c.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/dsa/lantiq/mxl-gsw1xx.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/smi240.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/smpro-core.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/accel/bmi088-accel-spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/hwmon/lm75.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/rtc/rtc-gamecube.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/rtc/rtc-pcf2127.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/bmi270/bmi270_spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-raw-ram.c (null)() -> (struct regmap_bus)->free_context [8802331169073029120]

drivers/mfd/gateworks-gsc.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/chemical/bme680_spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/pinctrl/pinctrl-mcp23s08_spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/smi330/smi330_i2c.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/platform/x86/uniwill/uniwill-acpi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-spi-avmm.c (null)() -> (struct regmap_bus)->free_context [6335411867708145664]

sound/soc/soc-ops-test.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/hwmon/tmp108.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/chemical/sunrise_co2.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/hwmon/max1619.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-i2c.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-i2c.c regmap_get_i2c_bus() -> (struct regmap_bus)->free_context [0-u64max]

drivers/regulator/rt5133-regulator.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap.c regmap_exit() -> (struct regmap_bus)->free_context [min-max]

drivers/clk/clk-cdce925.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/dsa/qca/ar9331.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/can/m_can/tcan4x5x-regmap.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/bno055/bno055_ser_core.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/rtc/rtc-meson.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/smi330/smi330_spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/ocelot-spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/dsa/mt7530-mdio.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-w1.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/firmware/cirrus/test/cs_dsp_mock_regmap.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/acer-ec-a500.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/gpu/drm/panel/panel-ilitek-ili9322.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/hwmon/ltc4283.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/rk8xx-spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/ethernet/microchip/encx24j600-regmap.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/dac/ltc2688.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/bluetooth/btintel.c (null)() -> (struct regmap_bus)->free_context [6528163510128824320]

sound/soc/codecs/rtq9128.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/accel/adxl367_spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/sec-acpm.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/adc/ad4695.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/hwmon/sch56xx-common.c (null)() -> (struct regmap_bus)->free_context [5093323335262822400]

drivers/mfd/retu-mfd.c (null)() -> (struct regmap_bus)->free_context [0]

sound/soc/codecs/cs35l56-sdw.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/inv_icm45600/inv_icm45600_core.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/regulator/pf0900-regulator.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/accel/bma400_spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/pressure/bmp280-spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/dac/ad5706r.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/bmi323/bmi323_spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/gpu/drm/bridge/chipone-icn6211.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-sdw.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/can/spi/mcp251xfd/mcp251xfd-regmap.c (null)() -> (struct regmap_bus)->free_context [0]

sound/soc/codecs/zl38060.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-sdw-mbq.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/light/gp2ap002.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-slimbus.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/mfd/sprd-sc27xx-spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-spmi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/gpu/drm/sitronix/st7571-i2c.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-mmio.c (null)() -> (struct regmap_bus)->free_context [6860287075742027776]

drivers/base/regmap/regmap-spi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-spi.c regmap_get_spi_bus() -> (struct regmap_bus)->free_context [0-u64max]

drivers/hwmon/gsc-hwmon.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-ram.c (null)() -> (struct regmap_bus)->free_context [6808019155357196288]

drivers/iio/adc/ti-ads112c14.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/media/usb/dvb-usb-v2/af9015.c af9015_probe() -> (struct regmap_bus)->free_context [0]

drivers/media/dvb-frontends/rtl2830.c rtl2830_probe() -> (struct regmap_bus)->free_context [0]

drivers/mfd/mt6360-core.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/media/dvb-frontends/af9013.c af9013_probe() -> (struct regmap_bus)->free_context [0]

drivers/gpu/drm/sprd/sprd_dsi.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/iio/imu/bmi323/bmi323_i2c.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/platform/arm64/lenovo-thinkpad-t14s.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/hwmon/max1668.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/net/ieee802154/mrf24j40.c (null)() -> (struct regmap_bus)->free_context [0]

drivers/base/regmap/regmap-ac97.c (null)() -> (struct regmap_bus)->free_context [0]