Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tegra 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 tegra 4096-ptr_max
PARAM_VALUE 0 tegra->devfreq 4096-ptr_max
PARAM_VALUE 0 tegra->devfreq->profile 4096-ptr_max
PARAM_VALUE 0 tegra->devfreq->profile->polling_ms 1-u32max
PARAM_VALUE 1 dev 4096-ptr_max
BUF_SIZE 0 tegra s32min-(-2),1-s32max
BUF_SIZE 0 tegra s32min-(-2),1-s32max
CAPPED_DATA 0 tegra->emc_clock 1
CAPPED_DATA 0 tegra->emc_clock->core 1
DATA_SOURCE 0 tegra $0
DATA_SOURCE 1 dev $1
STR_LEN 0 tegra->devfreq->dev.parent (-1)
STR_LEN 0 tegra->devfreq->user_max_freq_req.dev (-1)
STR_LEN 0 tegra->devfreq->user_min_freq_req.dev (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 tegra->devfreq->last_status.current_frequency 0-u64max
HOST_DATA 0 tegra->devfreq->max_state 1-u32max[c]
HOST_DATA 0 tegra->devfreq->previous_freq 0-u64max
NO_OVERFLOW_SIMPLE 0 tegra->devfreq->max_state
NO_OVERFLOW_SIMPLE 0 tegra->devfreq->previous_freq
NO_OVERFLOW_SIMPLE 0 tegra->devfreq->resume_freq
UNITS 0 tegra unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock