Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/qcom_battmgr.c qcom_battmgr_bat_sc8280xp_update() -> qcom_battmgr_update_charge_time()

Type Parameter Key Value
PARAM_VALUE 0 battmgr 4096-ptr_max
PARAM_VALUE 0 battmgr->ack.done 0-4294967293,u32max
PARAM_VALUE 0 battmgr->ack.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 battmgr->ack.wait.lock.owner (-1)
PARAM_VALUE 0 battmgr->ack.wait.lock.owner_cpu u32max
PARAM_VALUE 0 battmgr->ack.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 battmgr->ack.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 battmgr->client 4096-ptr_max
PARAM_VALUE 0 battmgr->client->pg->ept->ops->send 0,8,2532391187004870656,8101734627506692096,8243632285336358912
PARAM_VALUE 0 battmgr->error 0
PARAM_VALUE 0 battmgr->info.valid 1
PARAM_VALUE 0 battmgr->lock.dep_map->name 0-255
PARAM_VALUE 0 battmgr->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 battmgr->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 battmgr->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 battmgr->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 battmgr->lock.wait_lock.owner (-1)
PARAM_VALUE 0 battmgr->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 battmgr->service_up 1
BUF_SIZE 0 battmgr s32min-(-2),1-s32max
BUF_SIZE 0 battmgr s32min-(-2),1-s32max
CAPPED_DATA 0 &battmgr->lock 1
DATA_SOURCE 0 battmgr $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 battmgr unit_byte
LOCK2 0 &battmgr->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct qcom_battmgr)->lock