Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/accel/rocket/rocket_core.c rocket_core_init() -> rocket_core_fini()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->cna_iomem 4096-ptr_max
PARAM_VALUE 0 core->core_iomem 4096-ptr_max
PARAM_VALUE 0 core->dev 4096-ptr_max
PARAM_VALUE 0 core->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 core->dev->class 0,4096-ptr_max
PARAM_VALUE 0 core->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 core->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 core->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 core->dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 core->dev->dma_parms 0,4096-ptr_max
PARAM_VALUE 0 core->dev->dma_parms->max_segment_size u32max
PARAM_VALUE 0 core->dev->iommu_group 0,4096-ptr_max
PARAM_VALUE 0 core->dev->iommu_group->devices_kobj->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 core->dev->power.last_status (-1)
PARAM_VALUE 0 core->dev->power.qos 0,4096-u64max
PARAM_VALUE 0 core->dev->power.request 0-4
PARAM_VALUE 0 core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 core->dev->power.usage_count.counter 0-s32max
PARAM_VALUE 0 core->dev->power.use_autosuspend 1
PARAM_VALUE 0 core->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 core->dev->type 0,4096-ptr_max
PARAM_VALUE 0 core->iommu_group 0,4096-ptr_max
PARAM_VALUE 0 core->irq 1-s32max
PARAM_VALUE 0 core->job_lock.dep_map->name 0-255
PARAM_VALUE 0 core->job_lock.first_waiter 0
PARAM_VALUE 0 core->job_lock.magic 4096-ptr_max
PARAM_VALUE 0 core->job_lock.osq.tail.counter 0
PARAM_VALUE 0 core->job_lock.owner.counter 0
PARAM_VALUE 0 core->pc_iomem 4096-ptr_max
PARAM_VALUE 0 core->rdev 4096-ptr_max
PARAM_VALUE 0 core->reset.wq 4096-ptr_max
PARAM_VALUE 0 core->resets 4096-ptr_max
PARAM_VALUE 0 core->sched->name 0-255
PARAM_VALUE 0 core->sched._score.counter 0
PARAM_VALUE 0 core->sched.avg_job_us.internal 0
PARAM_VALUE 0 core->sched.credit_count.counter 0
PARAM_VALUE 0 core->sched.credit_limit 1
PARAM_VALUE 0 core->sched.dev 4096-ptr_max
PARAM_VALUE 0 core->sched.hang_limit 0
PARAM_VALUE 0 core->sched.job_id_count.counter 0
PARAM_VALUE 0 core->sched.job_scheduled.head.next 4096-ptr_max
PARAM_VALUE 0 core->sched.job_scheduled.head.next->next 4096-ptr_max
PARAM_VALUE 0 core->sched.job_scheduled.head.prev 4096-ptr_max
PARAM_VALUE 0 core->sched.job_scheduled.head.prev->next 4096-ptr_max
PARAM_VALUE 0 core->sched.job_scheduled.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 core->sched.ops 993235527692136448
PARAM_VALUE 0 core->sched.ops->cancel_job 0,7588619251115601920
PARAM_VALUE 0 core->sched.ops->free_job 4096-ptr_max
PARAM_VALUE 0 core->sched.ops->prepare_job 0,6347586488842227712
PARAM_VALUE 0 core->sched.ops->run_job 4096-ptr_max
PARAM_VALUE 0 core->sched.ops->timedout_job 0,4096-ptr_max
PARAM_VALUE 0 core->sched.pause_submit 0
PARAM_VALUE 0 core->sched.pending_list.next 4096-ptr_max
PARAM_VALUE 0 core->sched.pending_list.next->next 4096-ptr_max
PARAM_VALUE 0 core->sched.pending_list.prev 4096-ptr_max
PARAM_VALUE 0 core->sched.pending_list.prev->next 4096-ptr_max
PARAM_VALUE 0 core->sched.pending_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 core->sched.ready 1
PARAM_VALUE 0 core->sched.rq.head_prio (-1)
PARAM_VALUE 0 core->sched.score 1-u64max
PARAM_VALUE 0 core->sched.submit_wq 1-u64max
PARAM_VALUE 0 core->sched.timeout 0-536870912
PARAM_VALUE 0 *core->dev->p->deferred_probe_reason 0-255
DATA_SOURCE 0 core $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/accel/rocket/rocket_drv.c rocket_remove() -> rocket_core_fini()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex