Open Menu /

Defined in 2 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/acpi/battery.c acpi_battery_get_property() -> acpi_battery_get_state()

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
PARAM_VALUE 0 battery->device 4096-ptr_max
PARAM_VALUE 0 battery->device->status.battery_present 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
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
PARAM_VALUE 0 battery->device 4096-ptr_max
PARAM_VALUE 0 battery->device->handle->descriptor_type 0-255
PARAM_VALUE 0 battery->device->handle->flags 0-u16max
PARAM_VALUE 0 battery->device->handle->name.integer 0-4294967295
PARAM_VALUE 0 battery->device->handle->owner_id 0-u16max
PARAM_VALUE 0 battery->device->status.battery_present 1
PARAM_VALUE 0 battery->device->status.enabled 0
PARAM_VALUE 0 battery->device->status.functional 0
PARAM_VALUE 0 *battery->model_number 0-255
BUF_SIZE 0 battery (-1),872
BUF_SIZE 0 battery (-1),872
BUF_SIZE 0 battery->phys_dev (-1),1616
DATA_SOURCE 0 battery $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

drivers/acpi/battery.c battery_notify() -> acpi_battery_get_state()

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
PARAM_VALUE 0 battery->bat 1-u64max
PARAM_VALUE 0 battery->bat_desc.get_property 7432771337979293696
PARAM_VALUE 0 battery->bat_desc.name 1-u64max
PARAM_VALUE 0 battery->bat_desc.num_properties 1-u64max
PARAM_VALUE 0 battery->bat_desc.properties 1-u64max
PARAM_VALUE 0 battery->bat_desc.type 1
PARAM_VALUE 0 battery->capacity_now s32min-2147483646
PARAM_VALUE 0 battery->device 4096-ptr_max
PARAM_VALUE 0 battery->device->handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 battery->device->handle->common.descriptor_type 15
PARAM_VALUE 0 battery->device->status.battery_present 1
PARAM_VALUE 0 battery->list.next 4096-ptr_max
PARAM_VALUE 0 battery->list.next->next 4096-ptr_max
PARAM_VALUE 0 battery->list.prev 4096-ptr_max
PARAM_VALUE 0 battery->list.prev->next 4096-ptr_max
PARAM_VALUE 0 battery->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 *battery->model_number 0
NOCHECK_CALL
HOST_DATA 0 battery->bat->tzd->device.sata_dev.ap->link.ap->link.device->link->ap->result_tf s64min-s64max
HOST_DATA 0 battery->bat->tzd->device.sata_dev.ap->link.ap->link.device->link->ap->result_tf.ctl 0-255
HOST_DATA 0 battery->bat->tzd->device.sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbah 0-255
HOST_DATA 0 battery->bat->tzd->device.sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbal 0-255
HOST_DATA 0 battery->bat->tzd->device.sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbam 0-255
HOST_DATA 0 battery->bat->tzd->device.shost->hostdata->saved_fault_code 0-u16max
LOCK2 _T->lock

drivers/acpi/sbs.c acpi_battery_read() -> acpi_battery_get_state()

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
PARAM_VALUE 0 battery->present 1
PARAM_VALUE 0 battery->sbs 4096-ptr_max
BUF_SIZE 0 battery->sbs (-1),1176
DATA_SOURCE 0 battery $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/sbs.c acpi_sbs_battery_get_property() -> acpi_battery_get_state()

Type Parameter Key Value
PARAM_VALUE 0 battery 4096-ptr_max
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
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock