Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/devfreq/tegra30-devfreq.c actmon_isr_device() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 offset 0
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->avg_count 0-u32max
HOST_DATA 1 val 0-u32max
LOCK2 &tegra->devfreq->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct devfreq)->lock

drivers/devfreq/tegra30-devfreq.c actmon_isr_device() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 val u32max
PARAM_VALUE 2 offset 36
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->avg_count 0-u32max
LOCK2 &tegra->devfreq->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct devfreq)->lock

drivers/devfreq/tegra30-devfreq.c tegra_actmon_configure_device() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 offset 12
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_actmon_configure_device() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 offset 24
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_actmon_configure_device() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 val u32max
PARAM_VALUE 2 offset 36
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_actmon_configure_device() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 val 3241415680
PARAM_VALUE 2 offset 0
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_actmon_stop_devices() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 1 val 0
PARAM_VALUE 2 offset 0
BUF_SIZE 0 dev (-1),80
BUF_SIZE 0 dev (-1),80
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_actmon_stop_devices() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 val u32max
PARAM_VALUE 2 offset 36
BUF_SIZE 0 dev (-1),80
BUF_SIZE 0 dev (-1),80
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_devfreq_update_avg_wmark() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 offset 16
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->avg_count 0-u32max
HALF_LOCKED2 &tegra->devfreq->lock
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_devfreq_update_avg_wmark() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 offset 20
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->avg_count 0-u32max
HALF_LOCKED2 &tegra->devfreq->lock
HALF_LOCKED2 _T->lock

drivers/devfreq/tegra30-devfreq.c tegra_devfreq_update_wmark() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 offset 4
CAPPED_DATA 1 val 1
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/devfreq/tegra30-devfreq.c tegra_devfreq_update_wmark() -> device_writel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 offset 8
CAPPED_DATA 1 val 1
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL