Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mailbox/mailbox.c mbox_bind_client() -> __mbox_bind_client()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->cl 0
PARAM_VALUE 1 cl 4096-ptr_max
BUF_SIZE 1 cl (-1),56
BUF_SIZE 1 cl (-1),56
BUF_SIZE 1 cl->dev (-1),1616
DATA_SOURCE 0 chan $0
DATA_SOURCE 1 cl $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

drivers/mailbox/mailbox.c mbox_request_channel() -> __mbox_bind_client()

Type Parameter Key Value
PARAM_VALUE 0 chan 0-ptr_max
PARAM_VALUE 1 cl 4096-ptr_max
PARAM_VALUE 1 cl->dev 1-u64max
BUF_SIZE 1 cl (-1),56
BUF_SIZE 1 cl (-1),56
BUF_SIZE 1 cl->dev (-1),1616
DATA_SOURCE 1 cl $0
STR_LEN 0 chan (-1),2-5,7
STR_LEN 1 cl (-1),2-5,7
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 global &component_mutex