Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/max77693_charger.c max77693_reg_init() -> max77693_set_fast_charge_timer()

Type Parameter Key Value
PARAM_VALUE 0 chg 4096-ptr_max
PARAM_VALUE 0 chg->batttery_overcurrent 0,3500000
PARAM_VALUE 0 chg->charge_input_threshold_volt 0,4300000
PARAM_VALUE 0 chg->constant_volt 0,4200000
PARAM_VALUE 0 chg->dev 4096-ptr_max
PARAM_VALUE 0 chg->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 chg->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 chg->dev->parent 4096-ptr_max
PARAM_VALUE 0 chg->max77693->regmap 4096-ptr_max
PARAM_VALUE 0 chg->max77693->regmap->async 0
PARAM_VALUE 0 chg->max77693->regmap->cache_dirty 1
PARAM_VALUE 0 chg->min_system_volt 0,3600000
PARAM_VALUE 0 chg->thermal_regulation_temp 0,100
PARAM_VALUE 1 hours 4
BUF_SIZE 0 chg 48
BUF_SIZE 0 chg->dev 1616
BUF_SIZE 0 chg->max77693 s32min-(-2),1-s32max
CAPPED_DATA 0 chg->max77693->regmap->rd_table->n_no_ranges 1
CAPPED_DATA 0 chg->max77693->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 chg->max77693->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 chg->max77693->regmap->volatile_table->n_yes_ranges 1
CAPPED_DATA 0 chg->max77693->regmap->wr_table->n_no_ranges 1
CAPPED_DATA 0 chg->max77693->regmap->wr_table->n_yes_ranges 1
DATA_SOURCE 0 chg $0
MEM_ZERO 0 chg
RX_PATH
TASK_NOT_RUNNING

drivers/power/supply/max77693_charger.c device_attr_store() -> device_attr_store param 4()

Type Parameter Key Value
BUF_SIZE 0 chg s32min-(-2),1-s32max
BUF_SIZE 0 chg s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 hours 0-u64max
NO_OVERFLOW_SIMPLE 1 hours
UNITS 0 chg unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex