Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/firmware/arm_scmi/driver.c scmi_xfer_raw_wait_for_message_response() -> pack_scmi_header()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
HOST_DATA 0 hdr->status 0-u32max
HALF_LOCKED2 &pool->lock

drivers/firmware/arm_scmi/msg.c msg_tx_prepare() -> pack_scmi_header()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->status 0
TASK_NOT_RUNNING

drivers/firmware/arm_scmi/raw_mode.c scmi_xfer_raw_collect() -> pack_scmi_header()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hdr->id 0-255[c]
HOST_DATA 0 hdr->protocol_id 0-255[c]
HOST_DATA 0 hdr->seq 0-u16max[c]
HOST_DATA 0 hdr->status 0-u32max
HOST_DATA 0 hdr->type 0-2,4-255[c]
HALF_LOCKED2 &pool->lock

drivers/firmware/arm_scmi/raw_mode.c scmi_xfer_raw_worker() -> pack_scmi_header()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
HOST_DATA 0 hdr->status 0-u32max
HALF_LOCKED2 &pool->lock

drivers/firmware/arm_scmi/shmem.c shmem_tx_prepare() -> pack_scmi_header()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
TASK_NOT_RUNNING
LOCK2 &chan->lock
LOCK2 irq
TYPE_LOCK (struct mbox_chan)->lock