Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/max17042_battery.c max17042_load_new_capacity_params() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
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 15
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_load_new_capacity_params() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-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 5
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_load_new_capacity_params() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-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 69
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_load_new_capacity_params() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-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 70
PARAM_VALUE 2 value 12800
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_load_new_capacity_params() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-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 16
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_load_new_capacity_params() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-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 35
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_reset_vfsoc0_reg() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
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 72
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_update_capacity_regs() -> max17042_write_verify_reg()

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

drivers/power/supply/max17042_battery.c max17042_update_capacity_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 35
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

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

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 57
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 30
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 59
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 18
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 34
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 50
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/supply/max17042_battery.c max17042_write_custom_regs() -> max17042_write_verify_reg()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 map->cache_dirty 1
PARAM_VALUE 1 reg 66
NOCHECK_CALL
HALF_LOCKED2 &pool->lock