Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pmdomain/core.c genpd_power_off() -> genpd_update_accounting()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 0 genpd->gd->max_off_time_changed 1
PARAM_VALUE 0 genpd->gov 0,4096-ptr_max
PARAM_VALUE 0 genpd->lock_ops 4096-ptr_max
PARAM_VALUE 0 genpd->prepared_count 0
PARAM_VALUE 0 genpd->sd_count.counter s32min-0
PARAM_VALUE 0 genpd->status 1
PARAM_VALUE 0 genpd->stay_on 0
CAPPED_DATA 0 &genpd->dev_list 1
CAPPED_DATA 0 &genpd->parent_links 1
DATA_SOURCE 0 genpd $0
BIT_INFO 0 genpd->flags 0x0,0xffffffdb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &genpd->mlock
HALF_LOCKED2 global &gpd_list_lock
TYPE_LOCK (struct generic_pm_domain)->mlock

drivers/pmdomain/core.c genpd_power_on() -> genpd_update_accounting()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 0 genpd->gd 0,4096-ptr_max
PARAM_VALUE 0 genpd->gd->max_off_time_changed 1
PARAM_VALUE 0 genpd->gd->reflect_residency 0
PARAM_VALUE 0 genpd->lock_ops 4096-ptr_max
PARAM_VALUE 0 genpd->lock_ops->lock 4096-ptr_max
PARAM_VALUE 0 genpd->lock_ops->unlock 4096-ptr_max
PARAM_VALUE 0 genpd->status 0
PARAM_VALUE 0 genpd->synced_poweroff 0
BUF_SIZE 0 genpd (-1),2376
BUF_SIZE 0 genpd (-1),2376
CAPPED_DATA 0 &genpd->child_links 1
DATA_SOURCE 0 genpd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &genpd->mlock