Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/bpf/hid_bpf_dispatch.c hid_bpf_allocate_event_data() -> __hid_bpf_allocate_data()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->bpf.device_data 0
PARAM_VALUE 0 hdev->driver_input_lock.first_waiter->up 0-1
PARAM_VALUE 0 hdev->ll_driver->max_buffer_size 0,4096
PARAM_VALUE 0 hdev->ll_driver->start 0,4096-ptr_max
PARAM_VALUE 0 *hdev->name 0-255
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 1 *data 0
PARAM_VALUE 1 *(*data) 0
PARAM_VALUE 2 size 4096-ptr_max
BUF_SIZE 0 hdev->bpf_rdesc (-1)-s32max
BUF_SIZE 0 hdev->devres_group_id s32min-(-1),1-s32max
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &hdev->bpf.prog_list_lock
HALF_LOCKED2 0 &hdev->driver_input_lock