Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/devfreq/governor_simpleondemand.c devfreq_simple_ondemand_handler() -> devfreq_monitor_resume()

Type Parameter Key Value
PARAM_VALUE 0 devfreq 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 devfreq->governor 4096-ptr_max
PARAM_VALUE 0 devfreq->profile->target 0,4096-ptr_max
DATA_SOURCE 0 devfreq $0
STR_LEN 0 devfreq->dev.parent (-1)
STR_LEN 0 devfreq->user_max_freq_req.dev (-1)
STR_LEN 0 devfreq->user_min_freq_req.dev (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 devfreq->max_state
NO_OVERFLOW_SIMPLE 0 devfreq->profile->max_state
HALF_LOCKED2 global &devfreq_list_lock
HALF_LOCKED2 global &system_transition_mutex

drivers/devfreq/tegra30-devfreq.c tegra_governor_event_handler() -> devfreq_monitor_resume()

Type Parameter Key Value
PARAM_VALUE 0 devfreq 4096-ptr_max
PARAM_VALUE 0 devfreq->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 devfreq->dev.parent 4096-ptr_max
PARAM_VALUE 0 devfreq->governor 4096-ptr_max
PARAM_VALUE 0 devfreq->profile->target 0,4096-ptr_max
DATA_SOURCE 0 devfreq $0
STR_LEN 0 devfreq->dev.parent (-1)
STR_LEN 0 devfreq->user_max_freq_req.dev (-1)
STR_LEN 0 devfreq->user_min_freq_req.dev (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 devfreq->max_state
NO_OVERFLOW_SIMPLE 0 devfreq->profile->max_state
HALF_LOCKED2 global &devfreq_list_lock
HALF_LOCKED2 global &system_transition_mutex