Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/rockchip-iommu.c rk_iommu_disable() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/rockchip-iommu.c rk_iommu_disable() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/rockchip-iommu.c rk_iommu_enable() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 value 1,4097-4294963201
BIT_INFO 2 value 0x1,0xffffffff
NOCHECK_CALL

drivers/iommu/rockchip-iommu.c rk_iommu_enable() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 value 3
NOCHECK_CALL

drivers/iommu/rockchip-iommu.c rk_iommu_enable() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 36
BIT_INFO 2 value 0x80000000,0xffffffff
NOCHECK_CALL
HOST_DATA 2 value 0-u32max

drivers/iommu/rockchip-iommu.c rk_iommu_force_reset() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 value 0,4096-4294963200
NOCHECK_CALL

drivers/iommu/rockchip-iommu.c rk_iommu_irq() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 24
PARAM_VALUE 2 value 1-u32max
DATA_SOURCE 2 value r rk_iommu_read
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 1-u32max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/iommu/rockchip-iommu.c rk_iommu_zap_lines() -> rk_iommu_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 16
CAPPED_DATA 2 value 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &rk_domain->iommus_lock
HALF_LOCKED2 &rk_domain->dt_lock
HALF_LOCKED2 flags
TYPE_LOCK (struct rk_iommu_domain)->iommus_lock