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_update_interval()

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 1 delay 6295483485386772480
BUF_SIZE 1 delay 4
DATA_SOURCE 0 devfreq $0
DATA_SOURCE 1 delay $2
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)
BIT_INFO 0 devfreq->governor->attrs 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 devfreq->max_state
NO_OVERFLOW_SIMPLE 0 devfreq->profile->max_state
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

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

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 4096-ptr_max
PARAM_VALUE 1 delay 6295483485386772480
PARAM_VALUE 1 *delay 0-256
BUF_SIZE 1 delay (-1),4
BUF_SIZE 1 delay (-1),4
DATA_SOURCE 0 devfreq $0
DATA_SOURCE 1 delay $2
FUZZY_MAX 1 *delay 256
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)
BIT_INFO 0 devfreq->governor->attrs 0x1,0xffffffffffffffff
HARD_MAX 1 *delay 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 devfreq->max_state
NO_OVERFLOW_SIMPLE 0 devfreq->profile->max_state
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex