Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/busses/i2c-virtio.c virtio_i2c_xfer() -> virtio_i2c_prepare_reqs()

Type Parameter Key Value
PARAM_VALUE 1 reqs 16,4096-ptr_max
BUF_SIZE 1 reqs 0-u64max
DATA_SOURCE 1 reqs r _kzalloc_noprof
DATA_SOURCE 2 msgs $1
DATA_SOURCE 3 num $2
NO_OVERFLOW_SIMPLE 3 num
UNITS 3 num unit_array_size
ELEM_COUNT 1 ==reqs3 8051