Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/nvdimm/pmem.c pmem_attach_disk() -> dax_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->bdi 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.back_pad 0,64
PARAM_VALUE 0 disk->bio_split.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 disk->bio_split.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 disk->bio_split.bio_pool.elements 1-u64max
PARAM_VALUE 0 disk->bio_split.bio_pool.free 8263660038527102976
PARAM_VALUE 0 disk->bio_split.bio_pool.min_nr 2
PARAM_VALUE 0 disk->bio_split.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 disk->bio_split.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bio_slab 1-u64max
PARAM_VALUE 0 disk->bio_split.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 disk->bio_split.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 disk->bio_split.bvec_pool.elements 1-u64max
PARAM_VALUE 0 disk->bio_split.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 disk->bio_split.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.cache 0,4096-ptr_max
PARAM_VALUE 0 disk->bio_split.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.front_pad 0
PARAM_VALUE 0 disk->bio_split.rescue_list.head 0
PARAM_VALUE 0 disk->bio_split.rescue_list.tail 0
PARAM_VALUE 0 disk->bio_split.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 disk->error_injection_list.next 4096-ptr_max
PARAM_VALUE 0 disk->error_injection_list.prev 4096-ptr_max
PARAM_VALUE 0 disk->error_injection_lock.first_waiter 0
PARAM_VALUE 0 disk->error_injection_lock.magic 4096-ptr_max
PARAM_VALUE 0 disk->error_injection_lock.osq.tail.counter 0
PARAM_VALUE 0 disk->error_injection_lock.owner.counter 0
PARAM_VALUE 0 disk->lockdep_map.cpu 0
PARAM_VALUE 0 disk->lockdep_map.lock_type 0
PARAM_VALUE 0 disk->lockdep_map.wait_type_outer 0
PARAM_VALUE 0 disk->open_mutex.first_waiter 0
PARAM_VALUE 0 disk->open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 disk->open_mutex.osq.tail.counter 0
PARAM_VALUE 0 disk->open_mutex.owner.counter 0
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->part_tbl.xa_flags 0
PARAM_VALUE 0 disk->part_tbl.xa_head 0
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 0 disk->queue_kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 disk->queue_kobj.ktype 8941777688397746176
PARAM_VALUE 0 disk->queue_kobj.state_add_uevent_sent 0
PARAM_VALUE 0 disk->queue_kobj.state_in_sysfs 0
PARAM_VALUE 0 disk->queue_kobj.state_initialized 1
PARAM_VALUE 0 disk->queue_kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 disk->random 4096-ptr_max
PARAM_VALUE 0 disk->rqos_state_mutex.first_waiter 0
PARAM_VALUE 0 disk->rqos_state_mutex.magic 4096-ptr_max
PARAM_VALUE 0 disk->rqos_state_mutex.osq.tail.counter 0
PARAM_VALUE 0 disk->rqos_state_mutex.owner.counter 0
PARAM_VALUE 0 disk->slave_bdevs.next 4096-ptr_max
PARAM_VALUE 0 disk->slave_bdevs.prev 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_list.next 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_list.prev 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.done 0
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.lock.magic 3735899821
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.lock.owner (-1)
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.task_list.prev 4096-ptr_max
BUF_SIZE 0 disk 2000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bvec_pool.min_nr
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/pmem.c pmem_release_disk() -> dax_remove_host()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/dm.c cleanup_mapped_device() -> dax_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 disk 0,4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->part0->bd_device.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->type 0-1
PARAM_VALUE 0 disk->queue_kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->random->last_time 0-s64max
BUF_SIZE 0 disk (-1)-0,2000
BUF_SIZE 0 disk (-1)-0,2000
BUF_SIZE 0 disk->fops (-1),144
BUF_SIZE 0 disk->private_data (-1),2280
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_requests
NO_OVERFLOW_SIMPLE 0 disk->queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_requests