Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/ccp/ccp-ops.c ccp_run_ecc_cmd() -> ccp_run_ecc_pm_cmd()

Type Parameter Key Value
PARAM_VALUE 0 cmd_q 4096-ptr_max
PARAM_VALUE 0 cmd_q->active 1
PARAM_VALUE 0 cmd_q->ccp 4096-ptr_max
PARAM_VALUE 0 cmd_q->ccp->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cmd_q->ccp->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 cmd_q->ccp->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 cmd_q->ccp->suspending 0
PARAM_VALUE 0 cmd_q->ccp->vdata 4096-ptr_max
PARAM_VALUE 0 cmd_q->ccp->vdata->perform 4096-ptr_max
PARAM_VALUE 0 cmd_q->ccp->vdata->perform->get_free_slots 4096-ptr_max
PARAM_VALUE 0 cmd_q->ccp->vdata->version 196608,327680
PARAM_VALUE 0 cmd_q->cmd_error 0
PARAM_VALUE 0 cmd_q->free_slots 0-15
PARAM_VALUE 0 cmd_q->int_rcvd 0
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->engine 7
PARAM_VALUE 1 cmd->engine_error 0
PARAM_VALUE 1 cmd->u.ecc.ecc_result 0
PARAM_VALUE 1 cmd->u.ecc.mod 1-u64max
PARAM_VALUE 1 cmd->u.ecc.mod_len 0-48
BUF_SIZE 0 cmd_q 128
BUF_SIZE 0 cmd_q 128
DATA_SOURCE 0 cmd_q $0
DATA_SOURCE 1 cmd $1
FUZZY_MAX 1 cmd->u.ecc.mod_len 48
HARD_MAX 1 cmd->u.ecc.mod_len 48