Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/ccp/sp-pci.c sp_pci_probe() -> sp_free_irqs()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 0 sp->dev 4096-ptr_max
PARAM_VALUE 0 sp->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 sp->dev_specific 4096-ptr_max
PARAM_VALUE 0 sp->dev_specific->msix_entry->vector 0-4294967295
PARAM_VALUE 0 sp->dev_vdata 4096-ptr_max
PARAM_VALUE 0 sp->dev_vdata->ccp_vdata->version 196608,327680
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->cmdbuff_addr_hi_reg 0,66892,67916
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->cmdbuff_addr_lo_reg 0,66888,67912
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->cmdresp_reg 0,66884,67908
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->platform_features 0,2-3
PARAM_VALUE 0 sp->io_map 1-u64max
PARAM_VALUE 0 sp->name 0
PARAM_VALUE 0 *sp->name 0-127
BUF_SIZE 0 sp 184
BUF_SIZE 0 sp->dev 1616
BUF_SIZE 0 sp->dev_specific 20
CAPPED_DATA 0 sp 1
DATA_SOURCE 0 sp r sp_alloc_struct
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/crypto/ccp/sp-pci.c sp_pci_remove() -> sp_free_irqs()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.state_initialized 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sp->ccp_data->dma_cmd_cache->refcount s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.state_initialized 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sp->ccp_data->dma_desc_cache->refcount s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_dev.chancnt 0-4294967295
PARAM_VALUE 0 sp->ccp_data->dma_dev.dbg_dev_root 0
PARAM_VALUE 0 sp->ccp_data->dma_dev.dev->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_dev.dev->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sp->ccp_data->dma_dev.dev->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sp->ccp_data->dma_dev.dev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 sp->ccp_data->dma_dev.dev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 sp->ccp_data->dma_dev.dev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 sp->ccp_data->dma_dev.dev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 sp->ccp_data->dma_dev.ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sp->ccp_data->hwrng.cleanup_done.done 0-4294967293,4294967295
PARAM_VALUE 0 sp->ccp_data->hwrng.cleanup_done.wait.lock.owner (-1)
PARAM_VALUE 0 sp->ccp_data->hwrng.cleanup_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 sp->ccp_data->hwrng.dying.done 4294967295
PARAM_VALUE 0 sp->ccp_data->hwrng.dying.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 sp->ccp_data->hwrng.dying.wait.lock.owner (-1)
PARAM_VALUE 0 sp->ccp_data->hwrng.dying.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 sp->dev_vdata 4096-ptr_max
PARAM_VALUE 0 sp->irq_registered 0
PARAM_VALUE 0 sp->psp_data->dbc_data 0
PARAM_VALUE 0 sp->psp_data->dbc_data->char_dev.minor s32min-255
PARAM_VALUE 0 sp->psp_data->platform_access_data 0
PARAM_VALUE 0 sp->psp_data->sev_irq_data 0
PARAM_VALUE 0 sp->psp_data->sev_irq_handler 0
PARAM_VALUE 0 sp->psp_data->sfs_data 0
PARAM_VALUE 0 sp->psp_data->tee_data->psp->mailbox_mutex.dep_map->name 0-255
PARAM_VALUE 0 sp->psp_data->tee_data->psp->mailbox_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sp->psp_data->tee_data->psp->mailbox_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sp->psp_data->tee_data->psp->mailbox_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 sp->psp_irq_data 0
PARAM_VALUE 0 sp->psp_irq_handler 0
PARAM_VALUE 0 *sp->ccp_data->dma_dev->dbg_dev_root->d_fsdata (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 sp s32min-(-2),1-s32max
BUF_SIZE 0 sp s32min-(-2),1-s32max
CAPPED_DATA 0 sp 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sp unit_byte