Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/touchscreen/usbtouchscreen.c usbtouch_process_multi() -> (struct usbtouch_device_info)->get_pkt_len()

Type Parameter Key Value
PARAM_VALUE 1 len s32min-(-1),1-s32max
BUF_SIZE 0 buf 4-8,11,16,1024
CONTAINER 0 *(-32-64+24) $(-1)
CONTAINER 1 *(-32-64+32) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/input/touchscreen/usbtouchscreen.c usbtouch_process_multi() -> (struct usbtouch_device_info)->get_pkt_len()

Type Parameter Key Value
BUF_SIZE 0 buf 4-8,11,16,1024
CONTAINER 0 *(-32-64+24) $(-1)
CONTAINER 1 *(-32-64+32) $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 len s32min-2147483645[c][u]
NO_OVERFLOW_SIMPLE 1 len
HALF_LOCKED2 &pool->lock

drivers/input/touchscreen/usbtouchscreen.c usbtouch_process_multi() -> (struct usbtouch_device_info)->get_pkt_len()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 len 1-s32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 len 1-2147483646[c]
HALF_LOCKED2 &pool->lock