Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/ublk_drv.c ublk_check_batch_cmd() -> ublk_dev_is_zoned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ctx->uring_lock |
drivers/block/ublk_drv.c ublk_ctrl_add_dev() -> ublk_dev_is_zoned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| PARAM_VALUE | 0 | ub->dev_info.flags | 147522-2252865 |
| BUF_SIZE | 0 | ub | 3528-36288 |
| BUF_SIZE | 0 | ub | 3528-36288 |
| CAPPED_DATA | 0 | ub->dev_info.dev_id | 1 |
| DATA_SOURCE | 0 | ub | r _kzalloc_noprof |
| CAPABLE | 0 | 21 | |
| BIT_INFO | 0 | ub->dev_info.flags | 0x24042,0xffffffffffffffff |
| 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-u32max |
| USER_DATA | 0 | ub->dev_info.nr_hw_queues | 1-4096 |
| USER_DATA | 0 | ub->dev_info.pad1 | 0-u32max |
| USER_DATA | 0 | ub->dev_info.queue_depth | 1-4096 |
| 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 |
| LOCK2 | global &ublk_ctl_mutex | ||
| HALF_LOCKED2 | &ctx->uring_lock |
drivers/block/ublk_drv.c ublk_ctrl_start_dev() -> ublk_dev_is_zoned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| BUF_SIZE | 0 | ub | (-1),1-s32max |
| BUF_SIZE | 0 | ub | (-1),1-s32max |
| BUF_SIZE | 0 | ub->ub_disk | 2000 |
| CAPPED_DATA | 0 | ub->dev_info.nr_hw_queues | 1 |
| CAPPED_DATA | 0 | ub->dev_info.ublksrv_pid | 1 |
| CAPPED_DATA | 0 | ub->nr_queue_ready | 1 |
| CAPPED_DATA | 0 | ub->tag_set.nr_hw_queues | 1 |
| CAPPED_DATA | 0 | ub->ublksrv_tgid | 1 |
| CAPPED_DATA | 0 | &ub->tag_set | 1 |
| DATA_SOURCE | 0 | ub | $0 |
| PARAM_COMPARE | 0 | ub->dev_info.nr_hw_queues | == $0->nr_queue_ready |
| BIT_INFO | 0 | ub->params.basic.attrs | 0x0,0xffffffff |
| BIT_INFO | 0 | ub->params.types | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | ub->ub_disk->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | ub->ub_disk->bio_split.bvec_pool.min_nr | |
| LOCK2 | 0 | &ub->mutex | |
| HALF_LOCKED2 | &ctx->uring_lock | ||
| TYPE_LOCK | (struct ublk_device)->mutex |
drivers/block/ublk_drv.c ublk_dev_param_zoned_validate() -> ublk_dev_is_zoned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| BUF_SIZE | 0 | ub | s32min,(-1),1-s32max |
| BUF_SIZE | 0 | ub | s32min,(-1),1-s32max |
| DATA_SOURCE | 0 | ub | $0 |
| BIT_INFO | 0 | ub->params.types | 0x9,0x7b |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ub->params.basic.attrs | 0-u32max |
| USER_DATA | 0 | ub->params.basic.chunk_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.basic.dev_sectors | 0-u64max |
| USER_DATA | 0 | ub->params.basic.io_min_shift | 0-255 |
| USER_DATA | 0 | ub->params.basic.io_opt_shift | 0-255 |
| USER_DATA | 0 | ub->params.basic.logical_bs_shift | 9-12 |
| USER_DATA | 0 | ub->params.basic.max_sectors | 8-8388607 |
| USER_DATA | 0 | ub->params.basic.physical_bs_shift | 9-255 |
| USER_DATA | 0 | ub->params.basic.virt_boundary_mask | 0-u64max |
| USER_DATA | 0 | ub->params.devt.char_major | 0-u32max |
| USER_DATA | 0 | ub->params.devt.char_minor | 0-u32max |
| USER_DATA | 0 | ub->params.devt.disk_major | 0-u32max |
| USER_DATA | 0 | ub->params.devt.disk_minor | 0-u32max |
| USER_DATA | 0 | ub->params.discard.discard_alignment | 0-u32max |
| USER_DATA | 0 | ub->params.discard.discard_granularity | 0-u32max |
| USER_DATA | 0 | ub->params.discard.max_discard_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.discard.max_discard_segments | 0-u16max |
| USER_DATA | 0 | ub->params.discard.max_write_zeroes_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.discard.reserved0 | 0-u16max |
| USER_DATA | 0 | ub->params.dma.alignment | 0-u32max |
| USER_DATA | 0 | ub->params.integrity.csum_type | 0-255 |
| USER_DATA | 0 | ub->params.integrity.flags | 0-u32max |
| USER_DATA | 0 | ub->params.integrity.interval_exp | 0-255 |
| USER_DATA | 0 | ub->params.integrity.max_integrity_segments | 0-u16max |
| USER_DATA | 0 | ub->params.integrity.metadata_size | 0-255 |
| USER_DATA | 0 | ub->params.integrity.pi_offset | 0-255 |
| USER_DATA | 0 | ub->params.integrity.tag_size | 0-255 |
| USER_DATA | 0 | ub->params.len | 0-u32max |
| USER_DATA | 0 | ub->params.seg.max_segment_size | 0-u32max |
| USER_DATA | 0 | ub->params.seg.max_segments | 0-u16max |
| USER_DATA | 0 | ub->params.seg.seg_boundary_mask | 0-u64max |
| USER_DATA | 0 | ub->params.types | 0-127[c] |
| USER_DATA | 0 | ub->params.zoned.max_active_zones | 0-u32max |
| USER_DATA | 0 | ub->params.zoned.max_open_zones | 0-u32max |
| USER_DATA | 0 | ub->params.zoned.max_zone_append_sectors | 0-u32max |
| LOCK2 | 0 | &ub->mutex | |
| HALF_LOCKED2 | &ctx->uring_lock | ||
| TYPE_LOCK | (struct ublk_device)->mutex |
drivers/block/ublk_drv.c ublk_validate_params() -> ublk_dev_is_zoned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| BUF_SIZE | 0 | ub | (-1),26 |
| BUF_SIZE | 0 | ub | (-1),26 |
| DATA_SOURCE | 0 | ub | $0 |
| BIT_INFO | 0 | ub->params.types | 0x1,0x7f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ub->params.basic.attrs | 0-u32max |
| USER_DATA | 0 | ub->params.basic.chunk_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.basic.dev_sectors | 0-u64max |
| USER_DATA | 0 | ub->params.basic.io_min_shift | 0-255 |
| USER_DATA | 0 | ub->params.basic.io_opt_shift | 0-255 |
| USER_DATA | 0 | ub->params.basic.logical_bs_shift | 9-12 |
| USER_DATA | 0 | ub->params.basic.max_sectors | 8-8388607 |
| USER_DATA | 0 | ub->params.basic.physical_bs_shift | 9-255 |
| USER_DATA | 0 | ub->params.basic.virt_boundary_mask | 0-u64max |
| USER_DATA | 0 | ub->params.devt.char_major | 0-u32max |
| USER_DATA | 0 | ub->params.devt.char_minor | 0-u32max |
| USER_DATA | 0 | ub->params.devt.disk_major | 0-u32max |
| USER_DATA | 0 | ub->params.devt.disk_minor | 0-u32max |
| USER_DATA | 0 | ub->params.discard.discard_alignment | 0-u32max |
| USER_DATA | 0 | ub->params.discard.discard_granularity | 0-u32max |
| USER_DATA | 0 | ub->params.discard.max_discard_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.discard.max_discard_segments | 0-u16max |
| USER_DATA | 0 | ub->params.discard.max_write_zeroes_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.discard.reserved0 | 0-u16max |
| USER_DATA | 0 | ub->params.dma.alignment | 0-u32max |
| USER_DATA | 0 | ub->params.integrity.csum_type | 0-255 |
| USER_DATA | 0 | ub->params.integrity.flags | 0-u32max |
| USER_DATA | 0 | ub->params.integrity.interval_exp | 0-255 |
| USER_DATA | 0 | ub->params.integrity.max_integrity_segments | 0-u16max |
| USER_DATA | 0 | ub->params.integrity.metadata_size | 0-255 |
| USER_DATA | 0 | ub->params.integrity.pi_offset | 0-255 |
| USER_DATA | 0 | ub->params.integrity.tag_size | 0-255 |
| USER_DATA | 0 | ub->params.len | 0-u32max |
| USER_DATA | 0 | ub->params.seg.max_segment_size | 0-u32max |
| USER_DATA | 0 | ub->params.seg.max_segments | 0-u16max |
| USER_DATA | 0 | ub->params.seg.seg_boundary_mask | 0-u64max |
| USER_DATA | 0 | ub->params.types | 0-127[c] |
| USER_DATA | 0 | ub->params.zoned.max_active_zones | 0-u32max |
| USER_DATA | 0 | ub->params.zoned.max_open_zones | 0-u32max |
| USER_DATA | 0 | ub->params.zoned.max_zone_append_sectors | 0-u32max |
| LOCK2 | 0 | &ub->mutex | |
| HALF_LOCKED2 | &ctx->uring_lock | ||
| TYPE_LOCK | (struct ublk_device)->mutex |
drivers/block/ublk_drv.c ublk_validate_params() -> ublk_dev_is_zoned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ub | 4096-ptr_max |
| BUF_SIZE | 0 | ub | (-1),26 |
| BUF_SIZE | 0 | ub | (-1),26 |
| DATA_SOURCE | 0 | ub | $0 |
| BIT_INFO | 0 | ub->params.types | 0x1,0x73 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ub->params.basic.attrs | 0-u32max |
| USER_DATA | 0 | ub->params.basic.chunk_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.basic.dev_sectors | 0-u64max |
| USER_DATA | 0 | ub->params.basic.io_min_shift | 0-255 |
| USER_DATA | 0 | ub->params.basic.io_opt_shift | 0-255 |
| USER_DATA | 0 | ub->params.basic.logical_bs_shift | 9-12 |
| USER_DATA | 0 | ub->params.basic.max_sectors | 8-8388607 |
| USER_DATA | 0 | ub->params.basic.physical_bs_shift | 9-255 |
| USER_DATA | 0 | ub->params.basic.virt_boundary_mask | 0-u64max |
| USER_DATA | 0 | ub->params.devt.char_major | 0-u32max |
| USER_DATA | 0 | ub->params.devt.char_minor | 0-u32max |
| USER_DATA | 0 | ub->params.devt.disk_major | 0-u32max |
| USER_DATA | 0 | ub->params.devt.disk_minor | 0-u32max |
| USER_DATA | 0 | ub->params.discard.discard_alignment | 0-u32max |
| USER_DATA | 0 | ub->params.discard.discard_granularity | 0-u32max |
| USER_DATA | 0 | ub->params.discard.max_discard_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.discard.max_discard_segments | 0-u16max |
| USER_DATA | 0 | ub->params.discard.max_write_zeroes_sectors | 0-u32max |
| USER_DATA | 0 | ub->params.discard.reserved0 | 0-u16max |
| USER_DATA | 0 | ub->params.dma.alignment | 0-u32max |
| USER_DATA | 0 | ub->params.integrity.csum_type | 0-255 |
| USER_DATA | 0 | ub->params.integrity.flags | 0-u32max |
| USER_DATA | 0 | ub->params.integrity.interval_exp | 0-255 |
| USER_DATA | 0 | ub->params.integrity.max_integrity_segments | 0-u16max |
| USER_DATA | 0 | ub->params.integrity.metadata_size | 0-255 |
| USER_DATA | 0 | ub->params.integrity.pi_offset | 0-255 |
| USER_DATA | 0 | ub->params.integrity.tag_size | 0-255 |
| USER_DATA | 0 | ub->params.len | 0-u32max |
| USER_DATA | 0 | ub->params.seg.max_segment_size | 0-u32max |
| USER_DATA | 0 | ub->params.seg.max_segments | 0-u16max |
| USER_DATA | 0 | ub->params.seg.seg_boundary_mask | 0-u64max |
| USER_DATA | 0 | ub->params.types | 0-127[c] |
| USER_DATA | 0 | ub->params.zoned.max_active_zones | 0-u32max |
| USER_DATA | 0 | ub->params.zoned.max_open_zones | 0-u32max |
| USER_DATA | 0 | ub->params.zoned.max_zone_append_sectors | 0-u32max |
| LOCK2 | 0 | &ub->mutex | |
| HALF_LOCKED2 | &ctx->uring_lock | ||
| TYPE_LOCK | (struct ublk_device)->mutex |