Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-mem.c spi_mem_exec_op() -> spi_mem_add_op_stats()

Type Parameter Key Value
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->addr.buswidth 0-8
PARAM_VALUE 1 op->cmd.buswidth 1-8
PARAM_VALUE 1 op->cmd.nbytes 1-255
PARAM_VALUE 1 op->data.buswidth 0-8
PARAM_VALUE 1 op->dummy.buswidth 0-8
PARAM_VALUE 2 exec_op_ret s32min-(-525),(-523)-(-96),(-94)-s32max
BUF_SIZE 1 op->data.buf.in (-1),4096-s32max
DATA_SOURCE 1 op $1
NOSPEC 1 op->data.nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 op->addr.val 0-9589934589[c]
HOST_DATA 1 op->data.nbytes 0-u32max
HOST_DATA 1 *op->data.buf.in 0-255
USER_DATA 1 op->addr.val 0-9223372041149743102
USER_DATA 1 op->data.nbytes 0-u32max
USER_PTR 1 op->data.buf.in
USER_PTR 1 op->data.buf.out
HALF_LOCKED2 &at25->lock
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &spinand->lock
HALF_LOCKED2 _T->lock

drivers/spi/spi-mem.c spi_mem_exec_op() -> spi_mem_add_op_stats()

Type Parameter Key Value
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->addr.buswidth 0-8
PARAM_VALUE 1 op->cmd.buswidth 1-8
PARAM_VALUE 1 op->cmd.nbytes 1-255
PARAM_VALUE 1 op->data.buswidth 0-8
PARAM_VALUE 1 op->dummy.buswidth 0-8
PARAM_VALUE 2 exec_op_ret s32min-(-525),(-523)-(-96),(-94)-s32max
BUF_SIZE 1 op->data.buf.in (-1),4096-s32max
DATA_SOURCE 1 op $1
NOSPEC 1 op->data.nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 op->addr.val 0-9589934589[c]
HOST_DATA 1 op->data.nbytes 0-u32max
HOST_DATA 1 *op->data.buf.in 0-255
USER_DATA 1 op->addr.val 0-9223372041149743102
USER_DATA 1 op->data.nbytes 0-u32max
USER_PTR 1 op->data.buf.in
USER_PTR 1 op->data.buf.out
HALF_LOCKED2 &at25->lock
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &spinand->lock
HALF_LOCKED2 _T->lock