Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/transports/virtio.c virtio_fetch_notification() -> (struct scmi_message_operations)->fetch_notification()

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