Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/crypto/ccp/ccp-dev-v5.c ccp5_init() -> ccp_add_device()
| 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->cmd_q | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd_q_count | 1-s32max |
| 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 | 65537-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->ccp_irq | 0 |
| PARAM_VALUE | 0 | ccp->sp->ccp_irq_data | 0,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->perform | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->vdata->setup | 0,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 |
| CAPPED_DATA | 0 | ccp->cmd_q_count | 1 |
| CAPPED_DATA | 0 | ccp->max_q_count | 1 |
| DATA_SOURCE | 0 | ccp | $0 |
| FUZZY_MAX | 0 | ccp->max_q_count | 5 |
| PARAM_COMPARE | 0 | ccp->sp->ccp_irq | <= $0->sp->psp_irq |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/crypto/ccp/ccp-dev-v3.c ccp_init() -> ccp_add_device()
| 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->cmd_q | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->cmd_q_count | 1-u32max |
| 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_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->sp | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->sp->ccp_irq | 0 |
| PARAM_VALUE | 0 | ccp->sp->ccp_irq_data | 0,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->perform | 4096-ptr_max |
| PARAM_VALUE | 0 | ccp->vdata->setup | 0,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 |
| CAPPED_DATA | 0 | ccp->cmd_q_count | 1 |
| CAPPED_DATA | 0 | ccp->max_q_count | 1 |
| DATA_SOURCE | 0 | ccp | $0 |
| FUZZY_MAX | 0 | ccp->max_q_count | 5 |
| PARAM_COMPARE | 0 | ccp->sp->ccp_irq | <= $0->sp->psp_irq |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |