Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/industrialio-buffer.c iio_buffer_ready() -> iio_buffer_flush_hwfifo()

Type Parameter Key Value
PARAM_VALUE 0 indio_dev 4096-ptr_max
PARAM_VALUE 0 indio_dev->info 1-u64max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->access 4096-ptr_max
PARAM_VALUE 1 buf->access->data_available 4096-ptr_max
PARAM_VALUE 1 buf->access->read 4798696929966219264,9212434296384962560
PARAM_VALUE 1 buf->bytes_per_datum 1-u64max
PARAM_VALUE 1 buf->direction 0
PARAM_VALUE 1 buf->pollq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 required 1-2147479552
CAPPED_DATA 1 buf->bytes_per_datum 1
DATA_SOURCE 0 indio_dev $0
DATA_SOURCE 1 buf $1
PARAM_COMPARE 1 &buf->buffer_list != $1->buffer_list.next
RX_PATH
NOCHECK_CALL
USER_DATA 2 required 1-1000000000[c]
UNITS 2 required unit_byte

drivers/iio/industrialio-buffer.c iio_buffer_ready() -> iio_buffer_flush_hwfifo()

Type Parameter Key Value
PARAM_VALUE 0 indio_dev 4096-ptr_max
PARAM_VALUE 0 indio_dev->info 1-u64max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->access 4096-ptr_max
PARAM_VALUE 1 buf->access->data_available 4096-ptr_max
PARAM_VALUE 1 buf->access->read 4798696929966219264,9212434296384962560
PARAM_VALUE 1 buf->bytes_per_datum 1-u64max
PARAM_VALUE 1 buf->direction 0
PARAM_VALUE 1 buf->pollq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 required 1-u64max
CAPPED_DATA 1 buf->bytes_per_datum 1
CAPPED_DATA 2 required 1
DATA_SOURCE 0 indio_dev $0
DATA_SOURCE 1 buf $1
PARAM_COMPARE 1 &buf->buffer_list != $1->buffer_list.next
RX_PATH
USER_DATA 2 required 1-u64max[c]
UNITS 2 required unit_byte