Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/ds2780_battery.c ds2780_read_param_eeprom_bin() -> ds2780_read_block()

Type Parameter Key Value
PARAM_VALUE 1 val 1-u64max
PARAM_VALUE 3 count 1-4096
BUF_SIZE 0 dev_info s32min-(-2),1-s32max
BUF_SIZE 0 dev_info s32min-(-2),1-s32max
CAPPED_DATA 3 count 1
CAPPED_DATA 3 count 1
DATA_SOURCE 1 val $3
DATA_SOURCE 3 count $5
PARAM_COMPARE 1 val == $3
BIT_INFO 3 count 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr 96-4191[c]
USER_DATA 3 count 1-4096[c]
UNITS 0 dev_info unit_byte
BYTE_COUNT 1 ==val3 8050
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/power/supply/ds2780_battery.c ds2780_read_user_eeprom_bin() -> ds2780_read_block()

Type Parameter Key Value
PARAM_VALUE 1 val 1-u64max
PARAM_VALUE 3 count 1-4096
BUF_SIZE 0 dev_info s32min-(-2),1-s32max
BUF_SIZE 0 dev_info s32min-(-2),1-s32max
CAPPED_DATA 3 count 1
CAPPED_DATA 3 count 1
DATA_SOURCE 1 val $3
DATA_SOURCE 3 count $5
PARAM_COMPARE 1 val == $3
BIT_INFO 3 count 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr 32-4127[c]
USER_DATA 3 count 1-4096[c]
UNITS 0 dev_info unit_byte
BYTE_COUNT 1 ==val3 8050
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex