Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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-1204289
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 0-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.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 ub->tag_set.tags_srcu.srcu_sup->work.work.entry.prev->prev 2076614606316732416
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
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->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
USER_DATA 0 ub->dev_info.flags 147522-1204289[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 0 ub->tag_set.shared_tags->nr_tags 1-4096[c]
LOCK2 global &ublk_ctl_mutex
HALF_LOCKED2 &ctx->uring_lock