Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/surface_battery.c surface_battery_probe() -> spwr_battery_register()

Type Parameter Key Value
PARAM_VALUE 0 bat 4096-ptr_max
PARAM_VALUE 0 bat->lock.dep_map->name 0-255
PARAM_VALUE 0 bat->lock.first_waiter 0
PARAM_VALUE 0 bat->lock.magic 4096-ptr_max
PARAM_VALUE 0 bat->lock.osq.tail.counter 0
PARAM_VALUE 0 bat->lock.owner.counter 0
PARAM_VALUE 0 bat->notif.base.fn 488412602709209088
PARAM_VALUE 0 bat->notif.base.priority 1
PARAM_VALUE 0 bat->notif.event.flags 1
PARAM_VALUE 0 bat->notif.event.id.instance 0
PARAM_VALUE 0 bat->notif.event.mask 1
PARAM_VALUE 0 bat->notif.event.reg.cid_disable 0
PARAM_VALUE 0 bat->notif.event.reg.cid_enable 0
PARAM_VALUE 0 bat->notif.event.reg.target_category 0
PARAM_VALUE 0 bat->notif.event.reg.target_id 0
PARAM_VALUE 0 bat->psy_desc.get_property 2537640779533750272
PARAM_VALUE 0 bat->psy_desc.name 0
PARAM_VALUE 0 bat->psy_desc.type 1
PARAM_VALUE 0 bat->sdev 4096-ptr_max
PARAM_VALUE 0 bat->sdev->dev.devres_head.prev 4096-ptr_max
BUF_SIZE 0 bat 680
DATA_SOURCE 0 bat r devm_kzalloc
MEM_ZERO 0 bat
RX_PATH
TASK_NOT_RUNNING