Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/ccp/ccp-dev-v5.c ccp5_destroy() -> ccp5_disable_queue_interrupts()

Type Parameter Key Value
PARAM_VALUE 0 ccp 4096-ptr_max
PARAM_VALUE 0 ccp->hwrng.cleanup_done.done 0-4294967293,u32max
PARAM_VALUE 0 ccp->hwrng.cleanup_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ccp->hwrng.cleanup_done.wait.lock.owner (-1)
PARAM_VALUE 0 ccp->hwrng.cleanup_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ccp->hwrng.cleanup_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ccp->hwrng.cleanup_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ccp->hwrng.dying.done u32max
PARAM_VALUE 0 ccp->hwrng.dying.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ccp->hwrng.dying.wait.lock.owner (-1)
PARAM_VALUE 0 ccp->hwrng.dying.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ccp->vdata 4096-ptr_max
PARAM_VALUE 0 ccp->vdata->perform 4096-ptr_max
BUF_SIZE 0 ccp 4800
CAPPED_DATA 0 ccp 1
DATA_SOURCE 0 ccp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/crypto/ccp/ccp-dev-v5.c ccp5_init() -> ccp5_disable_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_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 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->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->max_q_count 1
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-v5.c ccp5_irq_handler() -> ccp5_disable_queue_interrupts()

Type Parameter Key Value
DATA_SOURCE 0 ccp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags