Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-table.c dm_table_set_restrictions() -> dm_finalize_zone_settings()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->md 4096-ptr_max
PARAM_VALUE 0 t->md->disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *t->counts 0-4294967295
PARAM_VALUE 1 lim 4496982303064068096,6904826507154956288
PARAM_VALUE 1 lim->atomic_write_boundary_sectors 0-8388607
PARAM_VALUE 1 lim->atomic_write_max_sectors 0-8388607
PARAM_VALUE 1 lim->atomic_write_unit_max 0-1171456
PARAM_VALUE 1 lim->atomic_write_unit_min 0-1171456
PARAM_VALUE 1 lim->discard_alignment 0-4294967294
PARAM_VALUE 1 lim->discard_granularity 0,512-u32max
PARAM_VALUE 1 lim->dma_alignment 1-u32max
PARAM_VALUE 1 lim->io_min 512-u32max
PARAM_VALUE 1 lim->logical_block_size 512-65536
PARAM_VALUE 1 lim->max_active_zones 0
PARAM_VALUE 1 lim->max_dev_sectors 0,8-u32max
PARAM_VALUE 1 lim->max_discard_segments 1-u16max
PARAM_VALUE 1 lim->max_fast_segment_size 0-4096
PARAM_VALUE 1 lim->max_open_zones 0
PARAM_VALUE 1 lim->max_segment_size 1-u32max
PARAM_VALUE 1 lim->max_segments 1-u16max
PARAM_VALUE 1 lim->max_user_discard_sectors 0,u32max
PARAM_VALUE 1 lim->max_user_sectors 0,8-u32max
PARAM_VALUE 1 lim->physical_block_size 512-u32max
PARAM_VALUE 1 lim->seg_boundary_mask 1-u64max
PARAM_VALUE 1 lim->zone_write_granularity 512-u32max
BUF_SIZE 1 lim (-1)-0,200
BUF_SIZE 1 lim (-1)-0,200
CAPPED_DATA 0 t->num_targets 1
CAPPED_DATA 1 lim->max_hw_wzeroes_unmap_sectors 1
DATA_SOURCE 0 t $0
DATA_SOURCE 1 lim $2
FUZZY_MAX 1 lim->discard_alignment 0
PARAM_COMPARE 1 lim->max_hw_wzeroes_unmap_sectors <= $1->max_write_zeroes_sectors
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 t->num_allocated
NO_OVERFLOW_SIMPLE 1 lim->max_discard_sectors
HALF_LOCKED2 &md->suspend_lock