Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_user_copy() -> ublk_dev_support_integrity()

Type Parameter Key Value
PARAM_VALUE 0 ub 4096-ptr_max
BUF_SIZE 0 ub s32min-(-2),1-s32max
BUF_SIZE 0 ub s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/block/ublk_drv.c ublk_validate_params() -> ublk_dev_support_integrity()

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 0x41,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