Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-core.c __hid_hw_output_report() -> (struct hid_ll_driver)->output_report()

Type Parameter Key Value
PARAM_VALUE 0 hid 4096-ptr_max
PARAM_VALUE 0 hid->bpf.destroyed 0
PARAM_VALUE 0 hid->bpf.srcu.dep_map->name 0-255
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->up 0-1
PARAM_VALUE 0 hid->ll_driver 4096-ptr_max
PARAM_VALUE 0 hid->ll_driver->max_buffer_size 0,4096
PARAM_VALUE 0 hid->ll_driver->output_report 413141862939832320,1442834317192245248,2221293637157601280,3717343193451302912,7818562613356847104
PARAM_VALUE 0 hid->ll_driver->power 0,4096-ptr_max
PARAM_VALUE 0 hid->ll_driver->request 0,5063944467320635392,5622718608058388480,7328449251628552192
PARAM_VALUE 0 hid->ll_driver->start 0,4096-ptr_max
PARAM_VALUE 0 hid->ll_driver->wait 0,4096-ptr_max
PARAM_VALUE 1 buf 1-u64max
PARAM_VALUE 2 count 1-16384
BUF_SIZE 0 hid s32min-(-1),1-s32max
BUF_SIZE 0 hid s32min-(-1),1-s32max
BUF_SIZE 0 hid->bpf_rdesc (-1)-s32max
BUF_SIZE 0 hid->devres_group_id s32min-(-1),1-s32max
BUF_SIZE 1 buf (-1)-s32max
BUF_SIZE 1 buf (-1)-s32max
CAPPED_DATA 0 hid->bpf.srcu.srcu_ctrp 1
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 0 hid $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
CONTAINER 0 -72-8104+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *buf 0-255
USER_DATA 2 count 2-16384[c]
BYTE_COUNT 1 ==buf2 8050
USER_PTR 1 buf
HALF_LOCKED2 global &minors_rwsem
HALF_LOCKED2 0 &hid->driver_input_lock