Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/max17042_battery.c max17055_init_chip() -> max17055_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 1-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 0 map->lock 4096-ptr_max
PARAM_VALUE 0 map->unlock 4096-ptr_max
PARAM_VALUE 0 *map->cache->data 0-4294967295
PARAM_VALUE 1 reg 186
PARAM_VALUE 2 value 0
CAPPED_DATA 0 map->wr_table->n_no_ranges 1
CAPPED_DATA 0 map->wr_table->n_yes_ranges 1
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17055_override_battery_values() -> max17055_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 24
PARAM_VALUE 2 value 1-u16max
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17055_override_battery_values() -> max17055_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 69
PARAM_VALUE 2 value 1-2047
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17055_override_battery_values() -> max17055_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 30
PARAM_VALUE 2 value 1-s16max
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17055_override_battery_values() -> max17055_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 0 map->lock 4096-ptr_max
PARAM_VALUE 0 map->unlock 4096-ptr_max
PARAM_VALUE 1 reg 70
PARAM_VALUE 2 value 0-u16max
CAPPED_DATA 0 map->wr_table->n_no_ranges 1
CAPPED_DATA 0 map->wr_table->n_yes_ranges 1
BIT_INFO 2 value 0x0,0xffffffffffff
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17055_restore_hibernate() -> max17055_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 1 reg 186
HALF_LOCKED2 &pool->lock