Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/cw2015_battery.c cw_update_time_to_empty() -> cw_get_time_to_empty()

Type Parameter Key Value
PARAM_VALUE 0 cw_bat 4096-ptr_max
PARAM_VALUE 0 cw_bat->battery_changed 1
PARAM_VALUE 0 cw_bat->charge_stuck_cnt 0-1800000
PARAM_VALUE 0 cw_bat->dev 0,4096-ptr_max
PARAM_VALUE 0 cw_bat->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 cw_bat->dev->class 0,4096-ptr_max
PARAM_VALUE 0 cw_bat->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 cw_bat->read_errors 0-40000
PARAM_VALUE 0 cw_bat->regmap 4096-ptr_max
PARAM_VALUE 0 cw_bat->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 cw_bat->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 cw_bat->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1,4096-s64max
PARAM_VALUE 0 cw_bat->regmap->cache_dirty 0-1
PARAM_VALUE 0 cw_bat->soc 0-s32max
PARAM_VALUE 0 cw_bat->status 1-2,4
PARAM_VALUE 0 cw_bat->voltage_mv 0-s32max
PARAM_VALUE 0 *cw_bat->regmap->work_buf (-4611686018427387904)-4611686018427387903
DATA_SOURCE 0 cw_bat $0
HALF_LOCKED2 &pool->lock