Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/transports/mailbox.c mailbox_fetch_notification() -> (struct scmi_shared_mem_operations)->fetch_notification()

Type Parameter Key Value
PARAM_VALUE 1 max_len 104
PARAM_VALUE 2 xfer 4096-ptr_max
PARAM_VALUE 2 xfer->busy.counter 0
PARAM_VALUE 2 xfer->node->next->pprev 1-u64max
PARAM_VALUE 2 xfer->node.next 0
PARAM_VALUE 2 xfer->node.next->pprev 1-u64max
PARAM_VALUE 2 xfer->node.pprev 0
PARAM_VALUE 2 xfer->users.refs.counter 1
DATA_SOURCE 1 max_len $1
DATA_SOURCE 2 xfer $2
CONTAINER 3 *(-0-248+88) $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 xfer->hdr.id 0-255[c]
HOST_DATA 2 xfer->hdr.protocol_id 0-255[c]
HOST_DATA 2 xfer->hdr.type 0-255[c]
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vioch->pending_lock
HALF_LOCKED2 flags