Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/mtd/mtdswap.c mtdswap_add_mtd() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->devnum s32min-(-2),0-s32max
PARAM_VALUE 0 old->disk 4096-ptr_max
PARAM_VALUE 0 old->disk->bdi 4096-ptr_max
PARAM_VALUE 0 old->disk->bio_split.back_pad 0,64
PARAM_VALUE 0 old->disk->bio_split.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 old->disk->bio_split.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 old->disk->bio_split.bio_pool.free 8263660038527102976
PARAM_VALUE 0 old->disk->bio_split.bio_pool.min_nr 2
PARAM_VALUE 0 old->disk->bio_split.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 old->disk->bio_split.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 old->disk->bio_split.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 old->disk->bio_split.bio_slab 1-u64max
PARAM_VALUE 0 old->disk->bio_split.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 old->disk->bio_split.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 old->disk->bio_split.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 old->disk->bio_split.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 old->disk->bio_split.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 old->disk->bio_split.cache 0,4096-ptr_max
PARAM_VALUE 0 old->disk->bio_split.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 old->disk->bio_split.front_pad 0
PARAM_VALUE 0 old->disk->error_injection_list.next 4096-ptr_max
PARAM_VALUE 0 old->disk->error_injection_list.prev 4096-ptr_max
PARAM_VALUE 0 old->disk->error_injection_lock.first_waiter 0
PARAM_VALUE 0 old->disk->error_injection_lock.magic 4096-ptr_max
PARAM_VALUE 0 old->disk->error_injection_lock.osq.tail.counter 0
PARAM_VALUE 0 old->disk->error_injection_lock.owner.counter 0
PARAM_VALUE 0 old->disk->node_id (-1)
PARAM_VALUE 0 old->disk->open_mutex.first_waiter 0
PARAM_VALUE 0 old->disk->open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 old->disk->open_mutex.osq.tail.counter 0
PARAM_VALUE 0 old->disk->open_mutex.owner.counter 0
PARAM_VALUE 0 old->disk->part0 4096-ptr_max
PARAM_VALUE 0 old->disk->part_tbl.xa_flags 0
PARAM_VALUE 0 old->disk->part_tbl.xa_head 0
PARAM_VALUE 0 old->disk->queue 4096-ptr_max
PARAM_VALUE 0 old->disk->queue_kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 old->disk->queue_kobj.ktype 8941777688397746176
PARAM_VALUE 0 old->disk->queue_kobj.state_add_uevent_sent 0
PARAM_VALUE 0 old->disk->queue_kobj.state_in_sysfs 0
PARAM_VALUE 0 old->disk->queue_kobj.state_initialized 1
PARAM_VALUE 0 old->disk->queue_kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 old->disk->random 4096-ptr_max
PARAM_VALUE 0 old->disk->rqos_state_mutex.magic 4096-ptr_max
PARAM_VALUE 0 old->disk->slave_bdevs.next 4096-ptr_max
PARAM_VALUE 0 old->disk->slave_bdevs.prev 4096-ptr_max
PARAM_VALUE 0 old->disk->zone_wplugs_list.next 4096-ptr_max
PARAM_VALUE 0 old->disk->zone_wplugs_list.prev 4096-ptr_max
PARAM_VALUE 0 old->disk->zone_wplugs_worker_bio_done.wait.lock.magic 3735899821
PARAM_VALUE 0 old->disk->zone_wplugs_worker_bio_done.wait.lock.owner (-1)
PARAM_VALUE 0 old->disk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 old->disk->zone_wplugs_worker_bio_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 old->disk->zone_wplugs_worker_bio_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 old->lock.dep_map->name 0-255
PARAM_VALUE 0 old->lock.first_waiter 0
PARAM_VALUE 0 old->lock.magic 4096-ptr_max
PARAM_VALUE 0 old->lock.osq.tail.counter 0
PARAM_VALUE 0 old->lock.owner.counter 0
PARAM_VALUE 0 old->mtd 4096-ptr_max
PARAM_VALUE 0 old->priv 4096-ptr_max
PARAM_VALUE 0 old->ref.refcount.refs.counter 1
PARAM_VALUE 0 old->rq 4096-ptr_max
PARAM_VALUE 0 old->rq_list.next 4096-ptr_max
PARAM_VALUE 0 old->rq_list.next->next 4096-ptr_max
PARAM_VALUE 0 old->rq_list.prev 4096-ptr_max
PARAM_VALUE 0 old->rq_list.prev->next 4096-ptr_max
PARAM_VALUE 0 old->rq_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 old->size 0-4503599625273345
PARAM_VALUE 0 old->tag_set 0,4096-ptr_max
PARAM_VALUE 0 old->tag_set->driver_data->pdev->dev.cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 old->tag_set->driver_data->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 old->tag_set->driver_data->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 old->tag_set->driver_data->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 old->tag_set->srcu->dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->srcu->srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->srcu->srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->srcu->srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->srcu->srcu_sup->srcu_gp_seq s64max
PARAM_VALUE 0 old->tag_set->srcu->srcu_sup->srcu_gp_seq_needed s64max
PARAM_VALUE 0 old->tag_set->srcu->srcu_sup->srcu_gp_seq_needed_exp s64max
PARAM_VALUE 0 old->tag_set->srcu->srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 old->tag_set->tag_list_lock.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->tag_list_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 old->tag_set->tag_list_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 old->tag_set->tag_list_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->tag_list_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 old->tag_set->tag_list_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 old->tag_set->tag_list_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 old->tag_set->tag_list_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 old->tag_set->tags_srcu.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->lock.owner (-1)-0
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->lock.owner_cpu 0,4294967295
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->srcu_gp_seq s64max
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->srcu_gp_seq_needed_exp s64max
PARAM_VALUE 0 old->tag_set->tags_srcu.srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 old->tag_set->update_nr_hwq_lock.dep_map->name 0-255
PARAM_VALUE 0 old->tr 3207473384875892736
PARAM_VALUE 0 old->tr->add_mtd 1962004167677120512
PARAM_VALUE 0 old->tr->background 45727352185856000
PARAM_VALUE 0 old->tr->blksize 4096
PARAM_VALUE 0 old->tr->devs.prev 4096-ptr_max
PARAM_VALUE 0 old->tr->devs.prev->next 4096-ptr_max
PARAM_VALUE 0 old->tr->devs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 old->tr->discard 575006353674596352
PARAM_VALUE 0 old->tr->flush 8145704830167932928
PARAM_VALUE 0 old->tr->getgeo 0
PARAM_VALUE 0 old->tr->major 0-s32max
PARAM_VALUE 0 old->tr->name 4167725140428738560
PARAM_VALUE 0 old->tr->open 0
PARAM_VALUE 0 old->tr->owner 0
PARAM_VALUE 0 old->tr->part_bits 0
PARAM_VALUE 0 old->tr->readsect 5142671023265161216
PARAM_VALUE 0 old->tr->release 0
PARAM_VALUE 0 old->tr->remove_dev 3287877864252284928
PARAM_VALUE 0 old->tr->writesect 9150267371345924096
PARAM_VALUE 0 *old->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.magic (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *old->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.magic (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *old->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.magic (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 old 352
BUF_SIZE 0 old->mtd (-1),2448,2984
BUF_SIZE 0 old->priv 264
DATA_SOURCE 0 old r _kzalloc_noprof
STR_LEN 0 old->mtd (-1),18
STR_LEN 0 old->mtd->dev.driver_data (-1)
STR_LEN 0 old->mtd->name (-1)
STR_LEN 0 old->tr (-1),18
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 old->disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 old->disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 old->mtd->erasesize
NO_OVERFLOW_SIMPLE 0 old->tag_set->shared_tags->bitmap_tags.sb.depth
NO_OVERFLOW_SIMPLE 0 old->tag_set->shared_tags->breserved_tags.sb.depth
LOCK2 global &mtd_table_mutex

drivers/mtd/mtdswap.c mtdswap_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->priv 4096-ptr_max
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/mtdblock.c mtdblock_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/nftlcore.c nftl_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/rfd_ftl.c rfd_ftl_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/ssfdc.c ssfdcr_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/ftl.c ftl_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/inftlcore.c inftl_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/sm_ftl.c sm_remove_dev() -> del_mtd_blktrans_dev()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex