Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/f_fs.c ffs_do_os_descs() -> ffs_do_single_os_desc()

Type Parameter Key Value
PARAM_VALUE 0 data->bcdVersion 1,256
PARAM_VALUE 0 data->wIndex 4-5
PARAM_VALUE 2 type 1-2
PARAM_VALUE 4 entity 475328571112124416,2338103820567302144
PARAM_VALUE 5 priv 4096-ptr_max
PARAM_VALUE 6 h 4096-ptr_max
PARAM_VALUE 6 h->bcdVersion 1,256
PARAM_VALUE 6 h->wIndex 4-5
BUF_SIZE 5 priv s32min-(-1),1-s32max
BUF_SIZE 5 priv s32min-(-1),1-s32max
CAPPED_DATA 6 h->dwLength 1
DATA_SOURCE 0 data $1 [m]
DATA_SOURCE 1 len $2 [m]
DATA_SOURCE 4 entity $3
DATA_SOURCE 5 priv $4
PARAM_COMPARE 0 data > $6
PARAM_COMPARE 0 data > $6
PARAM_COMPARE 1 len > $6->dwLength
PARAM_COMPARE 6 h < $0
PARAM_COMPARE 6 h->dwLength < $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *data 0-255
UNITS 1 len unit_byte