Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/driver.c scmi_handle_notification() -> (struct scmi_transport_ops)->fetch_notification()

Type Parameter Key Value
PARAM_VALUE 0 cinfo 4096-ptr_max
PARAM_VALUE 1 max_len 0-s32max
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.pprev 0
PARAM_VALUE 2 xfer->users.refs.counter 1
DATA_SOURCE 0 cinfo $0
DATA_SOURCE 2 xfer r scmi_xfer_get
CONTAINER 1 *(-56-0+16) $(-1)
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 &vioch->pending_lock
HALF_LOCKED2 flags