Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-settings.c blk_validate_limits() -> blk_validate_atomic_write_limits()

Type Parameter Key Value
PARAM_VALUE 0 lim 4096-ptr_max
PARAM_VALUE 0 lim->discard_granularity 0,512-u32max
PARAM_VALUE 0 lim->dma_alignment 1-4096
PARAM_VALUE 0 lim->io_min 512-u32max
PARAM_VALUE 0 lim->logical_block_size 512-65536
PARAM_VALUE 0 lim->max_discard_segments 1-u16max
PARAM_VALUE 0 lim->max_fast_segment_size 0-4096
PARAM_VALUE 0 lim->max_segment_size 1-u32max
PARAM_VALUE 0 lim->max_segments 1-u16max
PARAM_VALUE 0 lim->max_user_sectors 0,8-u32max
PARAM_VALUE 0 lim->physical_block_size 512-u32max
PARAM_VALUE 0 lim->seg_boundary_mask 4095-u64max
BUF_SIZE 0 lim (-1)-0,200
BUF_SIZE 0 lim (-1)-0,200
CAPPED_DATA 0 lim->discard_granularity 1
CAPPED_DATA 0 lim->io_min 1
CAPPED_DATA 0 lim->io_opt 1
CAPPED_DATA 0 lim->logical_block_size 1
CAPPED_DATA 0 lim->max_discard_sectors 1
CAPPED_DATA 0 lim->max_fast_segment_size 1
CAPPED_DATA 0 lim->max_hw_sectors 1
CAPPED_DATA 0 lim->max_hw_wzeroes_unmap_sectors 1
CAPPED_DATA 0 lim->max_sectors 1
CAPPED_DATA 0 lim->max_wzeroes_unmap_sectors 1
CAPPED_DATA 0 lim->physical_block_size 1
CAPPED_DATA 0 lim->seg_boundary_mask 1
DATA_SOURCE 0 lim $0
FUZZY_MAX 0 lim->discard_granularity 0
FUZZY_MAX 0 lim->dma_alignment 511
FUZZY_MAX 0 lim->io_min 4194305
FUZZY_MAX 0 lim->logical_block_size 512
FUZZY_MAX 0 lim->max_discard_segments 1
FUZZY_MAX 0 lim->max_segment_size u32max
FUZZY_MAX 0 lim->max_segments 128
FUZZY_MAX 0 lim->max_user_sectors 8
FUZZY_MAX 0 lim->seg_boundary_mask u32max
PARAM_COMPARE 0 lim->io_min >= $0->logical_block_size
PARAM_COMPARE 0 lim->logical_block_size <= $0->physical_block_size
PARAM_COMPARE 0 lim->max_hw_wzeroes_unmap_sectors <= $0->max_write_zeroes_sectors
HARD_MAX 0 lim->logical_block_size 65536
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 lim->alignment_offset 0-u16max[c]
HOST_DATA 0 lim->discard_granularity 512-u32max[c]
HOST_DATA 0 lim->io_min 512-65536[c]
HOST_DATA 0 lim->io_opt 0-u32max[c]
HOST_DATA 0 lim->logical_block_size 512-65536[c]
HOST_DATA 0 lim->max_active_zones 0-u32max
HOST_DATA 0 lim->max_hw_sectors 0-u32max[c]
HOST_DATA 0 lim->max_integrity_segments 0-u16max
HOST_DATA 0 lim->max_open_zones 0-u32max
HOST_DATA 0 lim->max_sectors 0-s32max[c]
HOST_DATA 0 lim->max_segments 1-u16max[c]
HOST_DATA 0 lim->physical_block_size 512-65536[c]
USER_DATA 0 lim->alignment_offset 0-u32max[c][u]
USER_DATA 0 lim->discard_granularity 512-u32max[c]
USER_DATA 0 lim->io_min 512-u32max[c]
USER_DATA 0 lim->io_opt 0-u32max[c]
USER_DATA 0 lim->logical_block_size 512-65536
USER_DATA 0 lim->max_hw_sectors 0-u32max[c]
USER_DATA 0 lim->max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 lim->max_sectors 0-s32max[c]
USER_DATA 0 lim->max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 lim->max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 lim->physical_block_size 512-u32max[c]
NO_OVERFLOW_SIMPLE 0 lim->discard_granularity
NO_OVERFLOW_SIMPLE 0 lim->max_discard_sectors
NO_OVERFLOW_SIMPLE 0 lim->max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 lim->max_open_zones
HALF_LOCKED2 &q->limits_lock