Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/memory/samsung/exynos5422-dmc.c exynos5_dmc_perf_events_check() -> exynos5_dmc_start_perf_events()

Type Parameter Key Value
PARAM_VALUE 0 dmc 4096-ptr_max
PARAM_VALUE 1 beg_value 4278190080
DATA_SOURCE 0 dmc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &dmc->df->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct devfreq)->lock

drivers/memory/samsung/exynos5422-dmc.c exynos5_dmc_probe() -> exynos5_dmc_start_perf_events()

Type Parameter Key Value
PARAM_VALUE 0 dmc 4096-ptr_max
PARAM_VALUE 0 dmc->base_drexi0 4096-ptr_max
PARAM_VALUE 0 dmc->base_drexi1 4096-ptr_max
PARAM_VALUE 1 beg_value 4278190080
BUF_SIZE 0 dmc 400
BUF_SIZE 0 dmc->clk_regmap (-1),1-s32max
BUF_SIZE 0 dmc->dev 1616
BUF_SIZE 0 dmc->df 3608
BUF_SIZE 0 dmc->df->data 8
BUF_SIZE 0 dmc->df->profile 72
BUF_SIZE 0 dmc->vdd_mif s32min,(-1)-s32max
CAPPED_DATA 0 dmc->dev 1
DATA_SOURCE 0 dmc r devm_kzalloc
MEM_ZERO 0 dmc
MEM_ZERO 0 dmc->dev
MEM_ZERO 0 dmc->df->data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dmc->df->user_max_freq_req->dev->driver_data 0-u64max
HOST_DATA 0 dmc->df->user_max_freq_req->dev->driver_data->private s64min-s64max
HOST_DATA 0 dmc->df->user_max_freq_req.dev->driver_data->active_ltr 0-4294967295[c]
HOST_DATA 0 dmc->df->user_max_freq_req.dev->driver_data->caps 0-4294967295
HOST_DATA 0 dmc->df->user_max_freq_req.dev->driver_data->devid s32min-s32max
HOST_DATA 0 dmc->df->user_max_freq_req.dev->driver_data->idle_ltr 0-4294967295
HOST_DATA 0 dmc->df->user_max_freq_req.dev->driver_data->private->active_ltr 0-4294967295[c]
HOST_DATA 0 dmc->df->user_max_freq_req.dev->driver_data->private->idle_ltr 0-4294967295
HOST_DATA 0 dmc->df->user_max_freq_req.dev->driver_data->type 0-4294967295
HOST_DATA 0 dmc->df->user_min_freq_req->dev->driver_data 0-u64max
HOST_DATA 0 dmc->df->user_min_freq_req->dev->driver_data->private s64min-s64max
HOST_DATA 0 dmc->df->user_min_freq_req.dev->driver_data->active_ltr 0-4294967295[c]
HOST_DATA 0 dmc->df->user_min_freq_req.dev->driver_data->caps 0-4294967295
HOST_DATA 0 dmc->df->user_min_freq_req.dev->driver_data->devid s32min-s32max
HOST_DATA 0 dmc->df->user_min_freq_req.dev->driver_data->idle_ltr 0-4294967295
HOST_DATA 0 dmc->df->user_min_freq_req.dev->driver_data->private->active_ltr 0-4294967295[c]
HOST_DATA 0 dmc->df->user_min_freq_req.dev->driver_data->private->idle_ltr 0-4294967295
HOST_DATA 0 dmc->df->user_min_freq_req.dev->driver_data->type 0-4294967295
NO_OVERFLOW_SIMPLE 0 dmc->df->max_state
NO_OVERFLOW_SIMPLE 0 dmc->df->profile->max_state
NO_OVERFLOW_SIMPLE 0 dmc->opp_count