Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &data->domain_node 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &domain->lock
LOCK2 flags
LOCK2 0 &data->lock
TYPE_LOCK (struct exynos_iommu_domain)->lock
TYPE_LOCK (struct sysmmu_drvdata)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->sysmmu 4096-ptr_max
PARAM_VALUE 0 data->sysmmu->power.wakeirq->status 0-4294967295
CAPPED_DATA 0 &data->owner_node 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &owner->rpm_lock
HALF_LOCKED2 &group->mutex
TYPE_LOCK (struct exynos_iommu_owner)->rpm_lock

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->domain 1-u64max
PARAM_VALUE 0 data->master 4096-ptr_max
PARAM_VALUE 0 data->master->iommu 0,4096-ptr_max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 data unit_byte
LOCK2 &owner->rpm_lock
TYPE_LOCK (struct exynos_iommu_owner)->rpm_lock