Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/power/supply/power_supply_core.c power_supply_get_system_batteries() -> power_supply_populate_system_batteries_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-s32max |
| PARAM_VALUE | 2 | batteries | 4096-ptr_max |
| BUF_SIZE | 2 | batteries | 8-17179869176 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | size | r power_supply_get_num_system_batteries |
| DATA_SOURCE | 2 | batteries | r _kzalloc_noprof |
| NO_OVERFLOW_SIMPLE | 1 | size | |
| UNITS | 1 | size | unit_array_size |
| ELEM_COUNT | 2 | ==batteries1 | 8051 |