Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/pata_arasan_cf.c arasan_cf_probe() -> cf_exit()

Type Parameter Key Value
PARAM_VALUE 0 acdev 4096-ptr_max
PARAM_VALUE 0 acdev->card_present 0-1
PARAM_VALUE 0 acdev->cf_completion.done 0
PARAM_VALUE 0 acdev->cf_completion.wait.lock.magic 3735899821
PARAM_VALUE 0 acdev->cf_completion.wait.lock.owner (-1)
PARAM_VALUE 0 acdev->cf_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 acdev->cf_completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 acdev->cf_completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 acdev->cf_completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 acdev->cf_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 acdev->cf_completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 acdev->clk 0,4096-ptr_max
PARAM_VALUE 0 acdev->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 acdev->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 acdev->clk->core->dev->power.request 0-4
PARAM_VALUE 0 acdev->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 acdev->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 acdev->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 acdev->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 acdev->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 acdev->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 acdev->clk->core->duty.den 0-4294967295
PARAM_VALUE 0 acdev->clk->core->duty.num 0-4294967295
PARAM_VALUE 0 acdev->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 acdev->clk->core->new_parent_index 0-254
PARAM_VALUE 0 acdev->clk->core->notifier_count 0-4294967295
PARAM_VALUE 0 acdev->clk->core->num_parents 0-255
PARAM_VALUE 0 acdev->clk->core->orphan 0-1
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 acdev->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 acdev->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 acdev->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 acdev->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 acdev->clk->core->phase s32min-s32max
PARAM_VALUE 0 acdev->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 acdev->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 acdev->clk->core->rpm_enabled 0-1
PARAM_VALUE 0 acdev->dma_completion.done 0
PARAM_VALUE 0 acdev->dma_completion.wait.lock.magic 3735899821
PARAM_VALUE 0 acdev->dma_completion.wait.lock.owner (-1)
PARAM_VALUE 0 acdev->dma_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 acdev->dma_completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 acdev->dma_completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 acdev->dma_completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 acdev->dma_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 acdev->dma_completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 acdev->host 4096-ptr_max
PARAM_VALUE 0 acdev->host->dev 4096-ptr_max
PARAM_VALUE 0 acdev->host->eh_mutex.first_waiter 0
PARAM_VALUE 0 acdev->host->eh_mutex.magic 4096-ptr_max
PARAM_VALUE 0 acdev->host->eh_mutex.osq.tail.counter 0
PARAM_VALUE 0 acdev->host->eh_mutex.owner.counter 0
PARAM_VALUE 0 acdev->host->kref.refcount.refs.counter 1
PARAM_VALUE 0 acdev->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 acdev->host->n_ports 1
PARAM_VALUE 0 acdev->host->private_data 4096-ptr_max
PARAM_VALUE 0 acdev->irq 0-s32max
PARAM_VALUE 0 acdev->mask.bits 4096-ptr_max
PARAM_VALUE 0 acdev->vbase 4096-ptr_max
BUF_SIZE 0 acdev 520
BUF_SIZE 0 acdev->clk (-1),1-s32max
BUF_SIZE 0 acdev->host s32min-s32max
DATA_SOURCE 0 acdev r devm_kzalloc
FUZZY_MAX 0 acdev->card_present 0
FUZZY_MAX 0 acdev->irq 0
MEM_ZERO 0 acdev
MEM_ZERO 0 acdev->mask.bits
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 acdev->clk->core->parent->req_rate

drivers/ata/pata_arasan_cf.c arasan_cf_remove() -> cf_exit()

Type Parameter Key Value
BUF_SIZE 0 acdev 1,8,16,20,24,32,40,48,72,112,208,552,576,2080,2576,8064
BUF_SIZE 0 acdev 1,8,16,20,24,32,40,48,72,112,208,552,576,2080,2576,8064
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/ata/pata_arasan_cf.c arasan_cf_suspend() -> cf_exit()

Type Parameter Key Value
PARAM_VALUE 0 acdev 4096-ptr_max
PARAM_VALUE 0 acdev->dma_chan 0,4096-ptr_max
PARAM_VALUE 0 acdev->dma_chan->device 4096-ptr_max
BUF_SIZE 0 acdev 1,8,16,20,24,32,40,48,72,112,208,552,576,2080,2576,8064
BUF_SIZE 0 acdev 1,8,16,20,24,32,40,48,72,112,208,552,576,2080,2576,8064
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL