Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/power/supply/olpc_battery.c olpc_bat_get_charge_now() -> olpc_bat_get_charge_full_design()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 4424115600882847744 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock |
drivers/power/supply/olpc_battery.c olpc_bat_get_property() -> olpc_bat_get_charge_full_design()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock |