Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/ccp/ccp-dev-v5.c ccp5_init() -> ccp5_enable_queue_interrupts()

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-v5.c ccp5_irq_bh() -> ccp5_enable_queue_interrupts()

Type Parameter Key Value
PARAM_VALUE 0 ccp 4096-ptr_max
CAPPED_DATA 0 ccp->cmd_q_count 1
DATA_SOURCE 0 ccp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL