Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/driver.c scmi_handle_notification() -> scmi_bad_message_trace()

Type Parameter Key Value
PARAM_VALUE 0 cinfo 4096-ptr_max
PARAM_VALUE 0 cinfo->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->class 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->driver 0,4096-ptr_max
PARAM_VALUE 2 err (-4)
DATA_SOURCE 0 cinfo $0
DATA_SOURCE 1 msg_hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg_hdr 0-u32max
HALF_LOCKED2 &vioch->pending_lock
HALF_LOCKED2 flags

drivers/firmware/arm_scmi/driver.c scmi_rx_callback() -> scmi_bad_message_trace()

Type Parameter Key Value
PARAM_VALUE 2 err (-3)
DATA_SOURCE 0 cinfo $0
DATA_SOURCE 1 msg_hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg_hdr 0-u32max
HALF_LOCKED2 &vioch->pending_lock
HALF_LOCKED2 flags

drivers/firmware/arm_scmi/driver.c scmi_xfer_command_acquire() -> scmi_bad_message_trace()

Type Parameter Key Value
PARAM_VALUE 0 cinfo 4096-ptr_max
PARAM_VALUE 0 cinfo->dev 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->class 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->driver 0,4096-ptr_max
PARAM_VALUE 2 err (-1)
DATA_SOURCE 0 cinfo $0
DATA_SOURCE 1 msg_hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg_hdr 0-u32max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vioch->pending_lock
HALF_LOCKED2 flags

drivers/firmware/arm_scmi/driver.c scmi_xfer_command_acquire() -> scmi_bad_message_trace()

Type Parameter Key Value
PARAM_VALUE 0 cinfo 4096-ptr_max
PARAM_VALUE 0 cinfo->dev 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->class 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->driver 0,4096-ptr_max
PARAM_VALUE 2 err (-2)
DATA_SOURCE 0 cinfo $0
DATA_SOURCE 1 msg_hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg_hdr 0-u32max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vioch->pending_lock
HALF_LOCKED2 flags

drivers/firmware/arm_scmi/transports/mailbox.c rx_callback() -> (struct scmi_transport_core_operations)->bad_message_trace()

Type Parameter Key Value
PARAM_VALUE 0 cinfo 4096-ptr_max
PARAM_VALUE 0 cinfo->dev 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->class 0,4096-ptr_max
PARAM_VALUE 0 cinfo->dev->driver 0,4096-ptr_max
PARAM_VALUE 2 err (-5)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg_hdr 0-u32max
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &thread->chan->lock
HALF_LOCKED2 flags