Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/transports/mailbox.c mailbox_fetch_response() -> (struct scmi_shared_mem_operations)->fetch_response()

Type Parameter Key Value
PARAM_VALUE 1 xfer 4096-ptr_max
BUF_SIZE 1 xfer->async_done (-1),96
DATA_SOURCE 1 xfer $1
CONTAINER 2 *(-0-248+88) $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 xfer->hdr->id 0-255
HOST_DATA 1 xfer->hdr->poll_completion 0-1
HOST_DATA 1 xfer->hdr->protocol_id 0-255
HOST_DATA 1 xfer->hdr->seq 0-u16max
HOST_DATA 1 xfer->hdr->status 0-u32max
HOST_DATA 1 xfer->hdr->type 0-255
HOST_DATA 1 xfer->hdr.id 0-255[c]
HOST_DATA 1 xfer->hdr.protocol_id 0-255[c]
HOST_DATA 1 xfer->hdr.seq 0-u16max[c]
HOST_DATA 1 xfer->hdr.type 0-255[c]
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 1 &xfer->lock