Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/cw2015_battery.c cw_bat_work() -> cw_update_voltage()

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->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->regmap->lock 4096-ptr_max
PARAM_VALUE 0 cw_bat->regmap->unlock 4096-ptr_max
PARAM_VALUE 0 cw_bat->soc 0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock