Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pmdomain/core.c genpd_add_device() -> (struct generic_pm_domain)->attach_dev()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->attach_dev 1-u64max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 dev->power.subsys_data 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->clock_list.next 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->clock_list.next->next 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->clock_list.prev 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->clock_list.prev->next 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->clock_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->clock_mutex.dep_map->name 0-255
PARAM_VALUE 1 dev->power.subsys_data->clock_mutex.first_waiter 0
PARAM_VALUE 1 dev->power.subsys_data->clock_mutex.magic 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->clock_mutex.osq.tail.counter 0
PARAM_VALUE 1 dev->power.subsys_data->clock_mutex.owner.counter 0
PARAM_VALUE 1 dev->power.subsys_data->clock_op_might_sleep 0
PARAM_VALUE 1 dev->power.subsys_data->domain_data 4096-ptr_max
PARAM_VALUE 1 dev->power.subsys_data->domain_data->dev 4096-ptr_max
BUF_SIZE 0 domain (-1),2376
BUF_SIZE 0 domain (-1),2376
BUF_SIZE 1 dev (-1)-0,24-s32max
BUF_SIZE 1 dev (-1)-0,24-s32max
BUF_SIZE 1 dev->driver (-1),152
CAPPED_DATA 1 dev 1
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 dev $1 [m]
STR_LEN 0 domain (-1),2-6,8
STR_LEN 0 domain (-1),2-6,8
STR_LEN 1 dev (-1),2-6,8
STR_LEN 1 dev (-1),2-6,8
STR_LEN 1 dev->power.subsys_data->domain_data->dev (-1)
CONTAINER 0 -2152+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 dev->flags 4096-u32max
LOCK2 global &gpd_list_lock
HALF_LOCKED2 1 &dev->mutex