Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/raw_mode.c scmi_raw_error_report() -> scmi_xfer_raw_fill()

Type Parameter Key Value
PARAM_VALUE 0 raw 4096-ptr_max
PARAM_VALUE 0 raw->desc 4096-ptr_max
PARAM_VALUE 0 raw->desc->max_msg_size 0-4000000
PARAM_VALUE 1 cinfo 4096-ptr_max
PARAM_VALUE 1 cinfo->dev 0,4096-ptr_max
PARAM_VALUE 1 cinfo->dev->bus 0,4096-ptr_max
PARAM_VALUE 1 cinfo->dev->class 0,4096-ptr_max
PARAM_VALUE 1 cinfo->dev->driver 0,4096-ptr_max
PARAM_VALUE 2 xfer 100311547184939008
PARAM_VALUE 2 xfer->rx.buf 16,4096-ptr_max
PARAM_VALUE 2 xfer->rx.len 0-4000000
DATA_SOURCE 0 raw $0
DATA_SOURCE 1 cinfo $1
DATA_SOURCE 3 msg_hdr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 3 msg_hdr 0-u32max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vioch->pending_lock
HALF_LOCKED2 flags