Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pmdomain/mediatek/mtk-pm-domains.c scpsys_power_off() -> scpsys_power_off_internal()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &genpd->mlock

drivers/pmdomain/mediatek/mtk-pm-domains.c scpsys_remove_one_domain() -> scpsys_power_off_internal()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->data 4096-ptr_max
PARAM_VALUE 0 pd->data->pwr_sta2nd_offs 116,120,362,368,376,388,1552,3584,3588,3608,3612,3616,3620,3624
PARAM_VALUE 0 pd->data->pwr_sta_offs 116,120,362,364,372,384,1548,3584,3588,3608,3612,3616,3620,3624
PARAM_VALUE 0 pd->data->sta2nd_mask 0,2147483648
PARAM_VALUE 0 pd->data->sta_mask 1-2,4,8,16,32,64-65,128,256,512,1024,2048,4096,8192,16384,32768
PARAM_VALUE 0 pd->genpd.mlock.dep_map->name 0-255
PARAM_VALUE 0 pd->genpd.mlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pd->genpd.mlock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pd->genpd.mlock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pd->genpd.mlock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pd->genpd.mlock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pd->genpd.mlock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 pd->genpd.mlock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pd->genpd.raw_slock.dep_map->name 0-255
PARAM_VALUE 0 pd->genpd.raw_slock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 pd->genpd.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pd->scpsys 4096-ptr_max
PARAM_VALUE 0 pd->scpsys->base 4096-ptr_max
PARAM_VALUE 0 pd->scpsys->soc_data 4096-ptr_max
PARAM_VALUE 0 pd->scpsys->soc_data->type 0,2-u32max
PARAM_VALUE 0 *pd->scpsys->base->cache->data 0-4294967295
DATA_SOURCE 0 pd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL