Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/industrialio-buffer.c iio_buffer_update_bytes_per_datum() -> iio_compute_scan_bytes()

Type Parameter Key Value
PARAM_VALUE 0 indio_dev 4096-ptr_max
PARAM_VALUE 0 indio_dev->masklength 0-64
PARAM_VALUE 0 indio_dev->pollfunc->irq s32min-s32max
PARAM_VALUE 0 indio_dev->trig->attached_own_device 0-1
PARAM_VALUE 0 *indio_dev->available_scan_masks 1-u64max
PARAM_VALUE 3 scan_bytes 4276236584362123264
PARAM_VALUE 4 timestamp_offset 0
CAPPED_DATA 0 indio_dev->masklength 1
DATA_SOURCE 0 indio_dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 indio_dev unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex

drivers/iio/industrialio-buffer.c iio_verify_update() -> iio_compute_scan_bytes()

Type Parameter Key Value
PARAM_VALUE 0 indio_dev 4096-ptr_max
PARAM_VALUE 0 indio_dev->available_scan_masks 0,4096-ptr_max
PARAM_VALUE 0 *indio_dev->available_scan_masks 1-u64max
PARAM_VALUE 1 mask 16,4096-ptr_max
PARAM_VALUE 3 scan_bytes 3159864961204441104
PARAM_VALUE 4 timestamp_offset 3159864961204441108
BUF_SIZE 1 mask (-1),8-2048
BUF_SIZE 1 mask (-1),8-2048
DATA_SOURCE 0 indio_dev $0
PARAM_COMPARE 0 indio_dev->available_scan_masks <= $1
PARAM_COMPARE 1 mask >= $0->available_scan_masks
MEM_ZERO 3 scan_bytes
MEM_ZERO 4 timestamp_offset
RX_PATH
TASK_NOT_RUNNING
UNITS 0 indio_dev unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex