Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-picolcd_debugfs.c picolcd_debug_flash_read() -> _picolcd_flash_read()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->status s32min-(-1),1-s32max
PARAM_VALUE 1 report_id 243
PARAM_VALUE 3 s 1-24576
PARAM_VALUE 4 off 4096-ptr_max
PARAM_VALUE 4 *off 0-24575
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 4 off (-1),8
BUF_SIZE 4 off (-1),8
CAPPED_DATA 2 u 1
DATA_SOURCE 2 u $1
DATA_SOURCE 3 s $2 [m]
DATA_SOURCE 4 off $3
FUZZY_MAX 3 s 24576
FUZZY_MAX 4 *off 24575
BIT_INFO 0 data->status 0x1,0xffffffff
HARD_MAX 3 s 24576
HARD_MAX 4 *off 24575
USER_DATA 2 u 0-u64max[c]
USER_DATA 3 s 1-24576
USER_DATA 4 *off 0-24575
USER_PTR 4 off

drivers/hid/hid-picolcd_debugfs.c picolcd_debug_flash_read() -> _picolcd_flash_read()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 report_id 179
PARAM_VALUE 3 s 1-24576
PARAM_VALUE 4 off 4096-ptr_max
PARAM_VALUE 4 *off 0-24575
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 4 off (-1),8
BUF_SIZE 4 off (-1),8
CAPPED_DATA 2 u 1
DATA_SOURCE 2 u $1
DATA_SOURCE 3 s $2 [m]
DATA_SOURCE 4 off $3
FUZZY_MAX 3 s 24576
FUZZY_MAX 4 *off 24575
BIT_INFO 0 data->status 0x0,0xfffffffe
HARD_MAX 3 s 24576
HARD_MAX 4 *off 24575
USER_DATA 2 u 0-u64max[c]
USER_DATA 3 s 1-24576
USER_DATA 4 *off 0-24575
USER_PTR 4 off