Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/regulator/mt6363-regulator.c mt6363_regulator_set_mode() -> mt6363_buck_unlock()

Type Parameter Key Value
PARAM_VALUE 1 unlock 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 map unit_byte

drivers/regulator/mt6363-regulator.c mt6363_regulator_set_mode() -> mt6363_buck_unlock()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->async 0
PARAM_VALUE 0 map->cache_dirty 0-1
PARAM_VALUE 0 *map->work_buf (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 unlock 0
CAPPED_DATA 0 map->rd_table->n_no_ranges 1
CAPPED_DATA 0 map->volatile_table->n_no_ranges 1
CAPPED_DATA 0 map->volatile_table->n_yes_ranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte

drivers/regulator/mt6363-regulator.c mt6363_regulator_set_mode() -> mt6363_buck_unlock()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 1 unlock 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 map unit_byte

drivers/regulator/mt6363-regulator.c mt6363_regulator_set_mode() -> mt6363_buck_unlock()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->async 0
PARAM_VALUE 0 map->cache_dirty 0-1
PARAM_VALUE 0 *map->work_buf (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 unlock 0
CAPPED_DATA 0 map->rd_table->n_no_ranges 1
CAPPED_DATA 0 map->volatile_table->n_no_ranges 1
CAPPED_DATA 0 map->volatile_table->n_yes_ranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte

drivers/regulator/mt6363-regulator.c mt6363_va15_set_voltage_sel() -> mt6363_buck_unlock()

Type Parameter Key Value
PARAM_VALUE 1 unlock 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 map unit_byte

drivers/regulator/mt6363-regulator.c mt6363_va15_set_voltage_sel() -> mt6363_buck_unlock()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->cache_dirty 0-1
PARAM_VALUE 0 *map->work_buf (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 unlock 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte