Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/chrome/wilco_ec/mailbox.c wilco_ec_mailbox() -> wilco_ec_transfer()

Type Parameter Key Value
PARAM_VALUE 0 ec 4096-ptr_max
PARAM_VALUE 0 ec->data_buffer 4096-ptr_max
PARAM_VALUE 0 ec->mailbox_lock.dep_map->name 0-255
PARAM_VALUE 0 ec->mailbox_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ec->mailbox_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ec->mailbox_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ec->mailbox_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ec->mailbox_lock.wait_lock.owner (-1)
PARAM_VALUE 0 ec->mailbox_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->flags 0
PARAM_VALUE 1 msg->request_data 4096-ptr_max
PARAM_VALUE 1 msg->request_size 1-32
PARAM_VALUE 1 msg->response_size 0,2-3,8,11-12,16,32
PARAM_VALUE 1 msg->type 0-u16max
PARAM_VALUE 2 rq 4096-ptr_max
PARAM_VALUE 2 rq->data_size 1-32
PARAM_VALUE 2 rq->mailbox_version 0
PARAM_VALUE 2 rq->reserved 0
PARAM_VALUE 2 rq->struct_version 3
BUF_SIZE 0 ec s32min-(-1),1-s32max
BUF_SIZE 0 ec s32min-(-1),1-s32max
BUF_SIZE 0 ec->data_buffer (-1),40
BUF_SIZE 0 ec->debugfs_pdev (-1),9-s32max
BUF_SIZE 0 ec->dev (-1),1616
BUF_SIZE 0 ec->io_command (-1),64
BUF_SIZE 0 ec->io_data (-1),64
BUF_SIZE 0 ec->io_packet (-1),64
BUF_SIZE 0 ec->rtc_pdev (-1),9-s32max
BUF_SIZE 2 rq (-1),40
BUF_SIZE 2 rq (-1),40
CAPPED_DATA 0 &ec->mailbox_lock 1
CAPPED_DATA 1 msg->request_size 1
DATA_SOURCE 0 ec $0
DATA_SOURCE 1 msg $1
MEM_ZERO 2 rq
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ec unit_byte
LOCK2 0 &ec->mailbox_lock
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct wilco_ec_device)->mailbox_lock