Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_cdev_rel() -> ublk_free_dev_number()

Type Parameter Key Value
PARAM_VALUE 0 ub 4096-ptr_max
PARAM_VALUE 0 ub->buf_tree.ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ub->buf_tree.ma_root 0
PARAM_VALUE 0 ub->tag_set.driver_data->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.nr_hw_queues 0-s32max
PARAM_VALUE 0 ub->tag_set.nr_maps 0-s32max
PARAM_VALUE 0 ub->tag_set.shared_tags->callback_head.func 3141462621558833152
PARAM_VALUE 0 ub->tag_set.shared_tags->rqs 0
PARAM_VALUE 0 ub->tag_set.shared_tags->static_rqs 0
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->work.timer.flags 0-4194302
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->work.timer.lockdep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags 0
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup 0,4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_barrier_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->work.timer.flags 0-4194302
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->work.timer.lockdep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 *ub->queues 0
CAPPED_DATA 0 ub->dev_info.nr_hw_queues 1
CAPPED_DATA 0 ub->tag_set.nr_hw_queues 1
CAPPED_DATA 0 ub->tag_set.nr_maps 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/block/ublk_drv.c ublk_ctrl_add_dev() -> ublk_free_dev_number()

Type Parameter Key Value
PARAM_VALUE 0 ub 4096-ptr_max
PARAM_VALUE 0 ub->buf_ida.xa.xa_flags 33554437
PARAM_VALUE 0 ub->buf_ida.xa.xa_head 0
PARAM_VALUE 0 ub->buf_tree.ma_flags 0
PARAM_VALUE 0 ub->buf_tree.ma_root 0
PARAM_VALUE 0 ub->cancel_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->cancel_mutex.first_waiter 0
PARAM_VALUE 0 ub->cancel_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->cancel_mutex.osq.tail.counter 0
PARAM_VALUE 0 ub->cancel_mutex.owner.counter 0
PARAM_VALUE 0 ub->dev_info.dev_id 0-s32max
PARAM_VALUE 0 ub->dev_info.flags 147522-2252865
PARAM_VALUE 0 ub->dev_info.io_desc_size 24-256
PARAM_VALUE 0 ub->dev_info.nr_hw_queues 0-4096
PARAM_VALUE 0 ub->dev_info.queue_depth 1-4096
PARAM_VALUE 0 ub->dev_info.state 0
PARAM_VALUE 0 ub->dev_info.ublksrv_pid (-1)
PARAM_VALUE 0 ub->mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->mutex.first_waiter 0
PARAM_VALUE 0 ub->mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->mutex.osq.tail.counter 0
PARAM_VALUE 0 ub->mutex.owner.counter 0
PARAM_VALUE 0 ub->tag_set.driver_data->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.shared_tags->callback_head.func 3141462621558833152
PARAM_VALUE 0 ub->tag_set.shared_tags->rqs 0
PARAM_VALUE 0 ub->tag_set.shared_tags->static_rqs 0
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_barrier_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ub->ub_number 0-s32max
PARAM_VALUE 0 *ub->queues 0
BUF_SIZE 0 ub 3528-36288
BUF_SIZE 0 ub 3528-36288
CAPPED_DATA 0 ub->dev_info.dev_id 1
CAPPED_DATA 0 ub->dev_info.nr_hw_queues 1
CAPPED_DATA 0 ub->dev_info.queue_depth 1
DATA_SOURCE 0 ub r _kzalloc_noprof
CAPABLE 0 21
BIT_INFO 0 ub->dev_info.flags 0x24042,0xffffffffffffffff
NOSPEC 0 ub->dev_info.nr_hw_queues
NOSPEC 0 ub->dev_info.queue_depth
NOSPEC 0 ub->tag_set.nr_hw_queues
NOSPEC 0 ub->tag_set.queue_depth
NOSPEC 0 ub->tag_set.shared_tags->nr_tags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ub->dev_info.flags 147522-2252865[c]
USER_DATA 0 ub->dev_info.io_desc_size 24-256
USER_DATA 0 ub->dev_info.max_io_buf_bytes 0-u32max
USER_DATA 0 ub->dev_info.nr_hw_queues 1-4096[c]
USER_DATA 0 ub->dev_info.pad1 0-u32max
USER_DATA 0 ub->dev_info.queue_depth 1-4096[c]
USER_DATA 0 ub->dev_info.reserved1 0-u64max
USER_DATA 0 ub->dev_info.reserved2 0-u64max
USER_DATA 0 ub->dev_info.ublksrv_flags 0-u64max
USER_DATA 0 ub->tag_set.nr_hw_queues 1-4096[c]
USER_DATA 0 ub->tag_set.queue_depth 1-4096
USER_DATA 0 ub->tag_set.shared_tags->nr_tags 1-4096[c]
LOCK2 global &ublk_ctl_mutex
HALF_LOCKED2 &ctx->uring_lock