Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/olpc_battery.c olpc_bat_get_charge_full_design() -> olpc_bat_get_tech()

Type Parameter Key Value
PARAM_VALUE 0 val 7947452177721094144
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

drivers/power/supply/olpc_battery.c olpc_bat_get_property() -> olpc_bat_get_tech()

Type Parameter Key Value
DATA_SOURCE 0 val $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock

drivers/power/supply/olpc_battery.c olpc_bat_get_voltage_max_design() -> olpc_bat_get_tech()

Type Parameter Key Value
PARAM_VALUE 0 val 5045486415582773248
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock