Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mailbox/mailbox.c __mbox_bind_client() -> (struct mbox_chan_ops)->startup()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->active_req (-1)
PARAM_VALUE 0 chan->cl 4096-ptr_max
PARAM_VALUE 0 chan->mbox 4096-ptr_max
PARAM_VALUE 0 chan->mbox->dev 4096-ptr_max
PARAM_VALUE 0 chan->mbox->dev->driver 4096-ptr_max
PARAM_VALUE 0 chan->mbox->dev->driver->owner 0,4096-ptr_max
PARAM_VALUE 0 chan->mbox->dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chan->mbox->dev->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 chan->mbox->ops 4096-ptr_max
PARAM_VALUE 0 chan->mbox->ops->startup 1-u64max
PARAM_VALUE 0 chan->msg_count 0
PARAM_VALUE 0 chan->msg_free 0
PARAM_VALUE 0 chan->tx_complete.done 0
PARAM_VALUE 0 chan->tx_complete.wait.lock.magic 3735899821
PARAM_VALUE 0 chan->tx_complete.wait.lock.owner (-1)
PARAM_VALUE 0 chan->tx_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 chan->tx_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 chan->tx_complete.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 chan->tx_complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 chan->tx_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chan->tx_complete.wait.task_list.prev->prev 4096-ptr_max
BUF_SIZE 0 chan->cl (-1),56
DATA_SOURCE 0 chan $0
STR_LEN 0 chan (-1),2-5,7
STR_LEN 0 chan (-1),2-5,7
STR_LEN 0 chan->cl (-1),2-5,7
CONTAINER 0 -16-8-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock