Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_deinit_queue() -> __ublk_deinit_queue()

Type Parameter Key Value
PARAM_VALUE 0 ub 4096-ptr_max
PARAM_VALUE 0 ub->buf_tree.ma_root 0
PARAM_VALUE 0 ub->dev_info.nr_hw_queues 1-u16max
PARAM_VALUE 0 ub->queues 4096-ptr_max
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.srcu->srcu_sup 0,4096-ptr_max
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_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 1 ubq 1-u64max
BUF_SIZE 0 ub (-1),3528-36384
BUF_SIZE 0 ub (-1),3528-36384
CAPPED_DATA 0 ub->tag_set.nr_hw_queues 1
CAPPED_DATA 0 ub->tag_set.nr_maps 1
DATA_SOURCE 0 ub $0
NOSPEC 0 ub->dev_info.nr_hw_queues
NOSPEC 0 ub->dev_info.queue_depth
NOSPEC 0 ub->tag_set.nr_hw_queues
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,4096-u32max[c]
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.state 0-u16max
USER_DATA 0 ub->dev_info.ublksrv_flags 0-u64max
USER_DATA 0 ub->dev_info.ublksrv_pid s32min-s32max
USER_DATA 0 ub->tag_set.nr_hw_queues 1-4096[c]
USER_DATA 0 ub->tag_set.queue_depth 1-4096[c]
NO_OVERFLOW_SIMPLE 0 ub->tag_set.shared_tags->bitmap_tags.sb.depth
NO_OVERFLOW_SIMPLE 0 ub->tag_set.shared_tags->breserved_tags.sb.depth
HALF_LOCKED2 global &ublk_ctl_mutex

drivers/block/ublk_drv.c ublk_init_queue() -> __ublk_deinit_queue()

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.max_io_buf_bytes 0,4096-u32max
PARAM_VALUE 0 ub->dev_info.nr_hw_queues 1-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 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.nr_hw_queues 1-8193
PARAM_VALUE 0 ub->tag_set.nr_maps 1-3
PARAM_VALUE 0 ub->tag_set.numa_node (-1)
PARAM_VALUE 0 ub->tag_set.ops 4516789873012645888,4950533646596861952
PARAM_VALUE 0 ub->tag_set.ops->busy 0
PARAM_VALUE 0 ub->tag_set.ops->cleanup_rq 0
PARAM_VALUE 0 ub->tag_set.ops->commit_rqs 0,6246088900037488640
PARAM_VALUE 0 ub->tag_set.ops->complete 0
PARAM_VALUE 0 ub->tag_set.ops->exit_hctx 0
PARAM_VALUE 0 ub->tag_set.ops->exit_request 0
PARAM_VALUE 0 ub->tag_set.ops->get_budget 0
PARAM_VALUE 0 ub->tag_set.ops->get_rq_budget_token 0
PARAM_VALUE 0 ub->tag_set.ops->init_hctx 1110062271021441024
PARAM_VALUE 0 ub->tag_set.ops->init_request 0
PARAM_VALUE 0 ub->tag_set.ops->map_queues 0
PARAM_VALUE 0 ub->tag_set.ops->poll 0
PARAM_VALUE 0 ub->tag_set.ops->put_budget 0
PARAM_VALUE 0 ub->tag_set.ops->queue_rq 585488416803979264,4153822984407654400
PARAM_VALUE 0 ub->tag_set.ops->queue_rqs 2310945393380331520,5526440530074591232
PARAM_VALUE 0 ub->tag_set.ops->set_rq_budget_token 0
PARAM_VALUE 0 ub->tag_set.ops->show_rq 0
PARAM_VALUE 0 ub->tag_set.ops->timeout 2277044820965560320
PARAM_VALUE 0 ub->tag_set.queue_depth 1-10240
PARAM_VALUE 0 ub->tag_set.srcu 0,4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.srcu->sda 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_reader_flavor 0
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_gp_seq_needed 18446744073709551216
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 ub->tag_set.srcu->srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tag_list.next 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tag_list.next->next 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tag_list.prev 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tag_list_lock.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tag_list_lock.first_waiter 0
PARAM_VALUE 0 ub->tag_set.tag_list_lock.magic 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tag_list_lock.owner.counter 0
PARAM_VALUE 0 ub->tag_set.tags 1-u64max
PARAM_VALUE 0 ub->tag_set.tags_srcu.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->lock.owner 0,(-1)
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->lock.owner_cpu 0,u32max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->node 0,4096-ptr_max
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.magic 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_gp_seq_needed 0,4-u64max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->work.wq 0
PARAM_VALUE 0 ub->tag_set.update_nr_hwq_lock.dep_map->name 0-255
PARAM_VALUE 0 ub->tag_set.update_nr_hwq_lock.magic 4096-ptr_max
PARAM_VALUE 0 ub->ub_number 0-s32max
PARAM_VALUE 1 ubq 4096-ptr_max
PARAM_VALUE 1 ubq->evts_fifo.kfifo.data 0
PARAM_VALUE 1 ubq->evts_fifo.kfifo.in 0
PARAM_VALUE 1 ubq->evts_fifo.kfifo.mask 0
PARAM_VALUE 1 ubq->evts_fifo.kfifo.out 0
PARAM_VALUE 1 ubq->flags 147522-2252865
PARAM_VALUE 1 ubq->io_cmd_buf 18379471554275704832,18446612682070032384
PARAM_VALUE 1 ubq->io_desc_size 24-256
PARAM_VALUE 1 ubq->ios 4096-ptr_max
PARAM_VALUE 1 ubq->q_depth 1-4096
PARAM_VALUE 1 ubq->q_id 0-4095
BUF_SIZE 0 ub 3528-36288
BUF_SIZE 0 ub 3528-36288
BUF_SIZE 1 ubq 384-524544
BUF_SIZE 1 ubq 384-524544
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
CAPPED_DATA 1 ubq->q_depth 1
CAPPED_DATA 1 ubq->q_id 1
DATA_SOURCE 0 ub $0
DATA_SOURCE 1 ubq r __kvmalloc_node_noprof
CAPABLE 0 21
BIT_INFO 0 ub->dev_info.flags 0x24042,0xffffffffffffffff
BIT_INFO 1 ubq->flags 0x24042,0xffffffffffffffff
NOSPEC 0 ub->dev_info.nr_hw_queues
NOSPEC 0 ub->tag_set.nr_hw_queues
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,4096-u32max[c]
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[c]
USER_DATA 1 ubq->flags 147522-2252865[c]
USER_DATA 1 ubq->io_desc_size 24-256
USER_DATA 1 ubq->q_depth 1-4096[c]
NO_OVERFLOW_SIMPLE 0 ub->tag_set.shared_tags->bitmap_tags.sb.depth
NO_OVERFLOW_SIMPLE 0 ub->tag_set.shared_tags->breserved_tags.sb.depth
NO_OVERFLOW_SIMPLE 1 ubq->q_depth
LOCK2 global &ublk_ctl_mutex
HALF_LOCKED2 &ctx->uring_lock