Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/exynos-iommu.c __sysmmu_disable() -> __sysmmu_disable_clocks()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->active 0
PARAM_VALUE 0 data->clk_master 0,4096-ptr_max
PARAM_VALUE 0 data->clk_master->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->sysmmu->power.wakeirq->status 0-4294967295
BUF_SIZE 0 data s32min-(-1),1-s32max
BUF_SIZE 0 data s32min-(-1),1-s32max
DATA_SOURCE 0 data $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 data unit_byte
HALF_LOCKED2 &domain->lock
HALF_LOCKED2 &owner->rpm_lock
HALF_LOCKED2 flags

drivers/iommu/exynos-iommu.c __sysmmu_get_version() -> __sysmmu_disable_clocks()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->aclk 0,4096-ptr_max
PARAM_VALUE 0 data->aclk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->aclk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->aclk->core->dev->power.request 0-4
PARAM_VALUE 0 data->aclk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 data->aclk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->aclk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->aclk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->aclk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->aclk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->aclk->core->enable_count 0-4294967295
PARAM_VALUE 0 data->aclk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->aclk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->aclk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 data->aclk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 data->aclk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->aclk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->aclk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->aclk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->aclk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->aclk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 data->aclk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 data->aclk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 data->aclk->core->prepare_count 1-4294967295
PARAM_VALUE 0 data->aclk->core->protect_count 0-4294967295
PARAM_VALUE 0 data->clk 0,4096-ptr_max
PARAM_VALUE 0 data->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->clk->core->dev->power.request 0-4
PARAM_VALUE 0 data->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 data->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 data->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 data->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 data->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 data->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 data->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 data->clk->core->prepare_count 1-4294967295
PARAM_VALUE 0 data->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 data->clk_master 0,4096-ptr_max
PARAM_VALUE 0 data->clk_master->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->clk_master->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->clk_master->core->dev->power.request 0-4
PARAM_VALUE 0 data->clk_master->core->dev->power.request_pending 0-1
PARAM_VALUE 0 data->clk_master->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->clk_master->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->clk_master->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->clk_master->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->clk_master->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->clk_master->core->enable_count 0-4294967295
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.request 0-4
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->clk_master->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->clk_master->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 data->clk_master->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 data->clk_master->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 data->clk_master->core->prepare_count 1-4294967295
PARAM_VALUE 0 data->clk_master->core->protect_count 0-4294967295
PARAM_VALUE 0 data->has_vcr 0
PARAM_VALUE 0 data->pclk 0,4096-ptr_max
PARAM_VALUE 0 data->pclk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->pclk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->pclk->core->dev->power.request 0-4
PARAM_VALUE 0 data->pclk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 data->pclk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->pclk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->pclk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->pclk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->pclk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->pclk->core->enable_count 0-4294967295
PARAM_VALUE 0 data->pclk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 data->pclk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 data->pclk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 data->pclk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 data->pclk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 data->pclk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 data->pclk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 data->pclk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 data->pclk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 data->pclk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 data->pclk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 data->pclk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 data->pclk->core->prepare_count 1-4294967295
PARAM_VALUE 0 data->pclk->core->protect_count 0-4294967295
PARAM_VALUE 0 data->sfrbase 4096-ptr_max
PARAM_VALUE 0 data->sysmmu 4096-ptr_max
PARAM_VALUE 0 data->sysmmu->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 data->variant 1009407136347328512,3949444456751263744,4232368983189078016,5849903131864666112
PARAM_VALUE 0 data->version 0-2047
BUF_SIZE 0 data 272
BUF_SIZE 0 data->aclk (-1),1-s32max
BUF_SIZE 0 data->clk (-1),1-s32max
BUF_SIZE 0 data->clk_master (-1),1-s32max
BUF_SIZE 0 data->pclk (-1),1-s32max
BUF_SIZE 0 data->sysmmu 1616
BUF_SIZE 0 data->variant 48
DATA_SOURCE 0 data $0
FUZZY_MAX 0 data->version 128
BIT_INFO 0 data->variant 0x80000,0x7fff7ffffbfff000
MEM_ZERO 0 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 data->has_vcr 0
HOST_DATA 0 data->version 0-2047