Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pmdomain/core.c genpd_add_device() -> genpd_get_cpu()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 1 dev 1-u64max
BUF_SIZE 0 genpd (-1),2376
BUF_SIZE 0 genpd (-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
DATA_SOURCE 0 genpd $0
DATA_SOURCE 1 dev $2
STR_LEN 0 genpd (-1),2-6,8
STR_LEN 0 genpd (-1),2-6,8
STR_LEN 1 dev (-1),2-6,8
STR_LEN 1 dev (-1),2-6,8
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 dev->flags 4096-u32max
UNITS 1 dev unit_byte
LOCK2 global &gpd_list_lock
HALF_LOCKED2 1 &dev->mutex