Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/usbhid/hid-core.c hid_post_reset() -> hid_restart_io()

Type Parameter Key Value
PARAM_VALUE 0 hid 4096-ptr_max
PARAM_VALUE 0 hid->dev_rsize 0-4000000
PARAM_VALUE 0 hid->driver_data 4096-ptr_max
BUF_SIZE 0 hid s32min-(-2),1-s32max
BUF_SIZE 0 hid s32min-(-2),1-s32max
CAPPED_DATA 0 hid->dev_rsize 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hid unit_byte

drivers/hid/usbhid/hid-core.c hid_resume_common() -> hid_restart_io()

Type Parameter Key Value
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->up 0-1
BUF_SIZE 0 hid s32min-(-2),1-s32max
BUF_SIZE 0 hid s32min-(-2),1-s32max
DATA_SOURCE 0 hid $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hid unit_byte