Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/ccp/dbc.c send_dbc_cmd() -> send_dbc_cmd_thru_ext()

Type Parameter Key Value
PARAM_VALUE 0 dbc_dev 4096-ptr_max
PARAM_VALUE 0 dbc_dev->header_size 0,8,12
PARAM_VALUE 0 dbc_dev->mbox 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 dbc_dev->payload_size 4096-ptr_max
PARAM_VALUE 0 dbc_dev->psp->vdata->cmdbuff_addr_hi_reg 0,66892,67916
PARAM_VALUE 0 dbc_dev->psp->vdata->cmdbuff_addr_lo_reg 0,66888,67912
PARAM_VALUE 0 dbc_dev->psp->vdata->cmdresp_reg 0,66884,67908
PARAM_VALUE 0 dbc_dev->result 4096-ptr_max
PARAM_VALUE 0 dbc_dev->use_ext 1
PARAM_VALUE 0 *dbc_dev->result 0
PARAM_VALUE 1 msg 101-104
BUF_SIZE 0 dbc_dev 288
BUF_SIZE 0 dbc_dev->dev (-1),1616
BUF_SIZE 0 dbc_dev->payload (-1),8
BUF_SIZE 0 dbc_dev->payload_size (-1),4
BUF_SIZE 0 dbc_dev->result (-1),4
DATA_SOURCE 0 dbc_dev $0
DATA_SOURCE 1 msg $1
FUZZY_MAX 0 dbc_dev->header_size 12
HARD_MAX 1 msg 104
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *dbc_dev->payload s64min-s64max
USER_PTR 0 dbc_dev->payload
HALF_LOCKED2 _T->lock