Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/iio/adc/ad4030.c ad4030_set_sampling_freq() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 1-u32max
PARAM_VALUE 1 start 0
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 1-u32max
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

fs/ext4/extents.c ext4_ext_convert_to_initialized() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 2 len 0-32768
DATA_SOURCE 2 len r ext4_ext_get_actual_len
NOSPEC 0 val
NOSPEC 0 val
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 0-4294967294
UNITS 0 val unit_byte
UNITS 1 start unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents.c ext4_ext_determine_insert_hole() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-4294967294
PARAM_VALUE 2 len 1-u32max
CAPPED_DATA 0 val 1
DATA_SOURCE 0 val $2
NOSPEC 0 val
NOSPEC 0 val
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 0-s32max[c]
NO_OVERFLOW_SIMPLE 1 start
NO_OVERFLOW_SIMPLE 2 len
UNITS 0 val unit_byte
UNITS 1 start unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 &inode->i_rwsem

drivers/accel/ivpu/ivpu_job.c reset_engine_and_mark_faulty_contexts() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 1
PARAM_VALUE 2 len 2
HALF_LOCKED2 &pool->lock

drivers/usb/host/xhci-hub.c xhci_hub_control() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-254,u32max
PARAM_VALUE 1 start 0
PREEMPT_ADD <- disables preempt
UNITS 2 len unit_array_size
LOCK2 &xhci->lock
LOCK2 flags
TYPE_LOCK (struct xhci_hcd)->lock

drivers/usb/host/xhci-hub.c xhci_hub_control() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-254,u32max
PARAM_VALUE 1 start 0
PREEMPT_ADD <- disables preempt
UNITS 2 len unit_array_size
LOCK2 &xhci->lock
LOCK2 flags
TYPE_LOCK (struct xhci_hcd)->lock

drivers/usb/host/xhci-hub.c xhci_hub_control() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-254,u32max
PARAM_VALUE 1 start 0
PREEMPT_ADD <- disables preempt
UNITS 2 len unit_array_size
LOCK2 &xhci->lock
LOCK2 flags
TYPE_LOCK (struct xhci_hcd)->lock

fs/ext4/extents_status.c __es_find_extent_range() -> in_range32()

Type Parameter Key Value
DATA_SOURCE 0 val $2
NOSPEC 0 val
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 0-4294967294
UNITS 0 val unit_byte
UNITS 1 start unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents_status.c ext4_es_lookup_extent() -> in_range32()

Type Parameter Key Value
DATA_SOURCE 0 val $1
NOSPEC 0 val
NOSPEC 0 val
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 0-4294967294[c]
UNITS 0 val unit_byte
UNITS 1 start unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 &journal->j_barrier

drivers/iio/adc/ltc2378.c ltc2378_update_conversion_rate() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 1-u32max
PARAM_VALUE 1 start 1
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 1-u32max

drivers/base/regmap/regmap.c _regmap_select_page() -> in_range32()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 val unit_array_size
UNITS 1 start unit_array_size
UNITS 2 len unit_array_size
HALF_LOCKED2 map->lock_arg

drivers/iio/dac/ad8460.c ad8460_probe() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-2147483
PARAM_VALUE 1 start 120
PARAM_VALUE 2 len 1200
RX_PATH
TASK_NOT_RUNNING

drivers/iio/dac/ad8460.c ad8460_probe() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 2000
PARAM_VALUE 2 len 20000
RX_PATH
TASK_NOT_RUNNING

drivers/iio/dac/ad8460.c ad8460_probe() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 1000000
RX_PATH
TASK_NOT_RUNNING

drivers/iio/dac/ad8460.c ad8460_probe() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 4293967296
PARAM_VALUE 2 len 0
RX_PATH
TASK_NOT_RUNNING

drivers/iio/dac/ad8460.c ad8460_probe() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 55000000
RX_PATH
TASK_NOT_RUNNING

drivers/iio/dac/ad8460.c ad8460_probe() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 4239967296
PARAM_VALUE 2 len 0
RX_PATH
TASK_NOT_RUNNING

drivers/iio/dac/ad8460.c ad8460_probe() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 20000
PARAM_VALUE 2 len 150000
RX_PATH
TASK_NOT_RUNNING

fs/erofs/dir.c erofs_fill_dentries() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-s32max,4294901761-u32max
PARAM_VALUE 1 start 1
PARAM_VALUE 2 len 255
CAPPED_DATA 0 val 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

drivers/gpu/drm/i915/display/intel_dp_link_caps.c iter_pos_to_idx() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-s32max
PARAM_VALUE 1 start 0
DATA_SOURCE 0 val $2
RX_PATH
TASK_NOT_RUNNING

drivers/input/keyboard/max7360-keypad.c max7360_keypad_parse_fw() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 9
PARAM_VALUE 2 len 32
RX_PATH
TASK_NOT_RUNNING

drivers/hwmon/ltc4283.c ltc4283_setup() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 15000
PARAM_VALUE 2 len 15001
RX_PATH
TASK_NOT_RUNNING

drivers/iio/dac/mcp47a1.c mcp47a1_write() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 64
DATA_SOURCE 0 val $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 0-u32max
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

kernel/nscommon.c is_ns_init_inum() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 4026531832
PARAM_VALUE 2 len 8
RX_PATH
TASK_NOT_RUNNING

drivers/clk/clk-ep93xx.c ep93xx_ddiv_set_rate() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 1
PARAM_VALUE 2 len 127
RX_PATH
TASK_NOT_RUNNING

drivers/clk/clk-ep93xx.c ep93xx_mux_determine_rate() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 1
PARAM_VALUE 2 len 127
RX_PATH
TASK_NOT_RUNNING

drivers/tty/vt/vt.c vc_uniscr_getc() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 val unit_byte
UNITS 2 len unit_byte
LOCK2 global &console_sem
HALF_LOCKED2 &tty->atomic_write_lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 &tty->port->buf.lock
HALF_LOCKED2 &tty->termios_rwsem
HALF_LOCKED2 _T->lock

drivers/gpu/drm/msm/adreno/a6xx_gmu.c a6xx_gmu_fw_load() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 16384
LOCK2 &a6xx_gpu->gmu.lock
HALF_LOCKED2 &gpu->lock
TYPE_LOCK (struct a6xx_gmu)->lock

drivers/gpu/drm/msm/adreno/a6xx_gmu.c a6xx_gmu_fw_load() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 262144,268451840
PARAM_VALUE 2 len 16384
FUZZY_MAX 1 start 268451840
BIT_INFO 1 start 0x0,0x10044000
HARD_MAX 1 start 268451840
LOCK2 &a6xx_gpu->gmu.lock
HALF_LOCKED2 &gpu->lock
TYPE_LOCK (struct a6xx_gmu)->lock

drivers/net/dsa/b53/b53_common.c b53_phylink_get_caps() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 4
PARAM_VALUE 2 len 4
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &dsa2_mutex

drivers/net/dsa/b53/b53_common.c b53_phylink_mac_config() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 4
PARAM_VALUE 2 len 4

drivers/net/dsa/b53/b53_common.c b53_phylink_mac_link_down() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 4
PARAM_VALUE 2 len 4
RX_PATH
TASK_NOT_RUNNING
LOCK2 &pl->state_mutex
HALF_LOCKED2 &pl->phydev_mutex
TYPE_LOCK (struct phylink)->state_mutex

drivers/net/dsa/b53/b53_common.c b53_phylink_mac_link_up() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 4
PARAM_VALUE 2 len 4
LOCK2 &pl->phydev_mutex
LOCK2 &pl->state_mutex
HALF_LOCKED2 &phy->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct phylink)->phydev_mutex
TYPE_LOCK (struct phylink)->state_mutex

drivers/net/dsa/b53/b53_common.c b53_setup_port() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 1
PARAM_VALUE 2 len 4
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &dsa2_mutex

drivers/iio/dac/ad9739a.c ad9739a_init() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 8580
PARAM_VALUE 2 len 23121
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/intel/speed_select_if/isst_tpmi_core.c get_instance() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
DATA_SOURCE 0 val $0
USER_DATA 0 val 0-255
LOCK2 global &isst_tpmi_dev_lock

drivers/iio/light/apds9306.c apds9306_event_period_get() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/light/apds9306.c apds9306_event_period_set() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 16
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/light/apds9306.c apds9306_event_thresh_adaptive_get() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 8
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/light/apds9306.c apds9306_event_thresh_adaptive_set() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 8
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/gpu/drm/i915/display/intel_mchbar.c is_mchbar_reg() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 65536,1310720
PARAM_VALUE 2 len 16384,32768,65536,131072,1277952,1310720,1376256,4293738496
BIT_INFO 1 start 0x0,0x1fffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &display->dpll.lock
HALF_LOCKED2 &display->drm->mode_config.connection_mutex
HALF_LOCKED2 &display->drm->mode_config.mutex
HALF_LOCKED2 &display->gmbus.mutex

drivers/irqchip/irq-ast2700-intc0.c aspeed_intc0_irq_domain_activate() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-545
PARAM_VALUE 1 start 480
PARAM_VALUE 2 len 66
RX_PATH
TASK_NOT_RUNNING
UNITS 0 val unit_array_size

drivers/irqchip/irq-ast2700-intc0.c resolve_input_from_child_ranges() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-4294967294
DATA_SOURCE 0 val $2
RX_PATH
TASK_NOT_RUNNING

drivers/irqchip/irq-ast2700-intc0.c resolve_parent_range_for_output() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 144-u32max
DATA_SOURCE 0 val $2
RX_PATH
TASK_NOT_RUNNING

drivers/iio/imu/bmi323/bmi323_core.c bmi323_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 2
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi323/bmi323_core.c bmi323_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-s32max,2147483649-u32max
PARAM_VALUE 1 start 40000
PARAM_VALUE 2 len 560001
DATA_SOURCE 0 val $6
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi323/bmi323_core.c bmi323_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-s32max,2147483649-u32max
PARAM_VALUE 1 start 5000
PARAM_VALUE 2 len 70001
DATA_SOURCE 0 val $6
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi323/bmi323_core.c bmi323_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 8
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi323/bmi323_core.c bmi323_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 163
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi323/bmi323_core.c bmi323_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 2
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi323/bmi323_core.c bmi323_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 20461
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi323/bmi323_core.c in_accel_gesture_tap_wait_dur_store() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-4622,4154502538-4154507160
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 64
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/gpu/drm/xe/xe_hwmon.c xe_hwmon_get_reg() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 5-20
PARAM_VALUE 1 start 5
PARAM_VALUE 2 len 16
DATA_SOURCE 0 val $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/gpu/drm/xe/xe_hwmon.c xe_hwmon_read_label() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0,5-u32max
PARAM_VALUE 1 start 5
PARAM_VALUE 2 len 16
DATA_SOURCE 0 val $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi270/bmi270_core.c bmi270_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 20461
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi270/bmi270_core.c bmi270_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/imu/bmi270/bmi270_core.c bmi270_write_event_value() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0-99,4294967197-u32max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 163
DATA_SOURCE 0 val $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/iio/adc/ti-ads112c14.c ads112c14_populate_idac_mag() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 start 10
PARAM_VALUE 2 len 100

drivers/iio/adc/ad7192.c ad7194_validate_ain_channel() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 1
PARAM_VALUE 2 len 16
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING

drivers/iio/adc/ad4062.c ad4062_set_oversampling_ratio() -> in_range32()

Type Parameter Key Value
PARAM_VALUE 1 start 1
PARAM_VALUE 2 len 0-u16max
DATA_SOURCE 0 val $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 0-u32max
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock