Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/crypto/ccp/ccp-dev-v5.c ccp5other_config() -> ccp5_config()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ccp | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->io_regs | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->max_q_count | 1-5 |
| PARAM_VALUE | 0 | ccp->name | 0 |
| PARAM_VALUE | 0 | ccp->req_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ccp->req_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | ccp->req_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->req_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ccp->req_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | ccp->rngname | 0 |
| PARAM_VALUE | 0 | ccp->sb_count | 51 |
| PARAM_VALUE | 0 | ccp->sb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ccp->sb_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | ccp->sb_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ccp->sb_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | ccp->sb_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_start | 0 |
| PARAM_VALUE | 0 | ccp->sp | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->dev_specific | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->dev_vdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->io_map | 1-u64max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->vdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->vdata->setup | 4403463630309195776,8458483779073335296 |
| PARAM_VALUE | 0 | ccp->vdata->version | 196608,327680 |
| PARAM_VALUE | 0 | *ccp->name | 0-127 |
| PARAM_VALUE | 0 | *ccp->rngname | 0-127 |
| BUF_SIZE | 0 | ccp | 4800 |
| BUF_SIZE | 0 | ccp->dev | 1616 |
| DATA_SOURCE | 0 | ccp | $0 |
| FUZZY_MAX | 0 | ccp->max_q_count | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/crypto/ccp/ccp-dev.c ccp_dev_init() -> (struct ccp_vdata)->setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ccp | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->backlog.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->io_regs | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->max_q_count | 1-5 |
| PARAM_VALUE | 0 | ccp->name | 0 |
| PARAM_VALUE | 0 | ccp->req_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ccp->req_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | ccp->req_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->req_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ccp->req_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | ccp->rngname | 0 |
| PARAM_VALUE | 0 | ccp->sb_count | 51 |
| PARAM_VALUE | 0 | ccp->sb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ccp->sb_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | ccp->sb_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ccp->sb_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | ccp->sb_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sb_start | 0 |
| PARAM_VALUE | 0 | ccp->sp | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->dev_specific | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->dev_vdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->io_map | 1-u64max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->suspend_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->vdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->vdata->setup | 4403463630309195776,8458483779073335296 |
| PARAM_VALUE | 0 | ccp->vdata->version | 196608,327680 |
| PARAM_VALUE | 0 | *ccp->name | 0-127 |
| PARAM_VALUE | 0 | *ccp->rngname | 0-127 |
| BUF_SIZE | 0 | ccp | 4800 |
| BUF_SIZE | 0 | ccp->dev | 1616 |
| BUF_SIZE | 0 | ccp->sp | 184 |
| DATA_SOURCE | 0 | ccp | r ccp_alloc_struct |
| FUZZY_MAX | 0 | ccp->max_q_count | 5 |
| CONTAINER | 0 | -8-16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |