Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/battery.c acpi_battery_notification_worker() -> acpi_battery_update()

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
PARAM_VALUE 1 resume 0
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock

drivers/acpi/battery.c acpi_battery_resume() -> acpi_battery_update()

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
PARAM_VALUE 0 battery->update_time 0
PARAM_VALUE 1 resume 1
BUF_SIZE 0 battery s32min-(-2),1-s32max
BUF_SIZE 0 battery s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 battery unit_byte
LOCK2 _T->lock

drivers/acpi/battery.c devm_acpi_battery_update_retry() -> acpi_battery_update()

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
PARAM_VALUE 0 battery->bat 0
PARAM_VALUE 0 battery->bat_desc.get_property 0,7432771337979293696
PARAM_VALUE 0 battery->bat_desc.name 0
PARAM_VALUE 0 battery->bat_desc.num_properties 0,11,15
PARAM_VALUE 0 battery->bat_desc.properties 0,29935800016961536,2423037256860356608,4828874009397542912,8563490149741080576
PARAM_VALUE 0 battery->bat_desc.type 0-1
PARAM_VALUE 0 battery->device->dep_unmet 0
PARAM_VALUE 0 battery->list.next 0
PARAM_VALUE 0 battery->list.prev 0
PARAM_VALUE 0 battery->phys_dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 battery->phys_dev->driver_data 4096-ptr_max
PARAM_VALUE 0 battery->update_lock.dep_map->name 0-255
PARAM_VALUE 0 battery->update_time 0
PARAM_VALUE 1 resume 0
BUF_SIZE 0 battery 872
BUF_SIZE 0 battery->phys_dev (-1),1616
DATA_SOURCE 0 battery $1
FUZZY_MAX 0 battery->bat_desc.num_properties 0
FUZZY_MAX 0 battery->bat_desc.type 0
MEM_ZERO 0 battery
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock