Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/ublk_drv.c __ublk_deinit_queue() -> ublk_queue_cmd_buf_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| BUF_SIZE | 0 | ub | (-1),3624-36384 |
| BUF_SIZE | 0 | ub | (-1),3624-36384 |
| 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 |
| 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 | |
| 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.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] |
| USER_DATA | 0 | ub->tag_set.shared_tags->nr_tags | 1-4096[c] |
| HALF_LOCKED2 | global &ublk_ctl_mutex |
drivers/block/ublk_drv.c ublk_ch_mmap() -> ublk_queue_cmd_buf_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| BUF_SIZE | 0 | ub | (-1),1216 |
| BUF_SIZE | 0 | ub | (-1),1216 |
| CAPPED_DATA | 0 | ub->mm | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ipcp->lock |
drivers/block/ublk_drv.c ublk_init_queue() -> ublk_queue_cmd_buf_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| PARAM_VALUE | 0 | ub->dev_info.io_desc_size | 24-256 |
| PARAM_VALUE | 0 | ub->dev_info.queue_depth | 1-4096 |
| 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 | $0 |
| 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 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| 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 | |
| LOCK2 | global &ublk_ctl_mutex | ||
| HALF_LOCKED2 | &ctx->uring_lock |