Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/driver.c scmi_xfer_pending_set() -> scmi_xfer_token_set()

Type Parameter Key Value
PARAM_VALUE 0 minfo 4096-ptr_max
PARAM_VALUE 0 minfo->free_xfers.first 1-u64max
PARAM_VALUE 0 minfo->xfer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 xfer 4096-ptr_max
PARAM_VALUE 1 xfer->busy.counter 0
PARAM_VALUE 1 xfer->node->next->pprev 1-u64max
PARAM_VALUE 1 xfer->node.next 0
PARAM_VALUE 1 xfer->node.next->pprev 1-u64max
PARAM_VALUE 1 xfer->node.pprev 0
PARAM_VALUE 1 xfer->users.refs.counter 1
BUF_SIZE 0 minfo 4192
DATA_SOURCE 0 minfo $1
DATA_SOURCE 1 xfer $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &minfo->xfer_lock
HALF_LOCKED2 &info->protocols_mtx
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &r_evt->sources_mtx
HALF_LOCKED2 &rtc->ops_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct scmi_xfers_info)->xfer_lock