Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-lg4ff.c lg4ff_init() -> lg4ff_handle_multimode_wheel()

Type Parameter Key Value
PARAM_VALUE 0 hid 4096-ptr_max
PARAM_VALUE 0 hid->batteries.prev 4096-ptr_max
PARAM_VALUE 0 hid->batteries.prev->next 4096-ptr_max
PARAM_VALUE 0 hid->batteries.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hid->bpf_rdesc 1-u64max
PARAM_VALUE 0 hid->collection 4096-ptr_max
PARAM_VALUE 0 hid->collection_size 16
PARAM_VALUE 0 hid->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 hid->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 hid->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hid->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 hid->dev.driver_data->haptic->default_auto_trigger 0-4294967295
PARAM_VALUE 0 hid->dev.driver_data->haptic->max_duration_id 1-u16max
PARAM_VALUE 0 hid->dev.driver_data->haptic->max_waveform_id 1-u16max
PARAM_VALUE 0 hid->dev.driver_data->is_buttonpad 1
PARAM_VALUE 0 hid->dev.driver_data->is_pressurepad 1
PARAM_VALUE 0 hid->dev.driver_data->maxcontacts 0-255
PARAM_VALUE 0 hid->dev.driver_data->num_function_row_keys 1-24
PARAM_VALUE 0 hid->dev.parent 4096-ptr_max
PARAM_VALUE 0 hid->devres_group_id 4096-ptr_max
PARAM_VALUE 0 hid->driver 4096-ptr_max
PARAM_VALUE 0 hid->driver_data->bufsize 64-536870913
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.deferred_resume 0-1
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.idle_notification 0-1
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.request 0-4
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.request_pending 0-1
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.runtime_status s32min-s32max
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.timer_autosuspends 0-1
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.usage_count.counter s32min-s32max
PARAM_VALUE 0 hid->driver_data->bundle->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hid->driver_data->ctrl->counter.rqid.value 0-u16max
PARAM_VALUE 0 hid->driver_data->ctrl->counter.seq.value 0-255
PARAM_VALUE 0 hid->driver_data->ctrl->cplt.event.notif.lock.dep_map->name 0-255
PARAM_VALUE 0 hid->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hid->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hid->driver_data->ctrl->cplt.event.notif.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hid->driver_data->dev->devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hid->driver_data->head 0-255
PARAM_VALUE 0 hid->driver_data->hid_max_event_sz 1-4294967295
PARAM_VALUE 0 hid->driver_data->intf->minor (-1)-255
PARAM_VALUE 0 hid->driver_data->intf->needs_remote_wakeup 1
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.ktype->child_ns_type 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.ktype->get_ownership 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.parent->kset->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 hid->driver_data->intf->usb_dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hid->driver_data->qlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hid->driver_data->urbctrl->dev 0
PARAM_VALUE 0 hid->driver_data->urbctrl->kref.refcount.refs.counter 1
PARAM_VALUE 0 hid->driver_data->urbctrl->transfer_buffer_length 1
PARAM_VALUE 0 hid->driver_data->urbctrl->transfer_flags 4
PARAM_VALUE 0 hid->driver_data->urbin->actual_length 0-4294967295
PARAM_VALUE 0 hid->driver_data->urbin->dev->urbnum.counter s32min-s32max
PARAM_VALUE 0 hid->driver_data->urbin->interval s32min-s32max
PARAM_VALUE 0 hid->driver_data->urbin->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 hid->driver_data->urbin->num_mapped_sgs 0-s32max
PARAM_VALUE 0 hid->driver_data->urbin->sg->dma_flags 0-4294967295
PARAM_VALUE 0 hid->driver_data->urbin->sg->dma_length 0-4294967295
PARAM_VALUE 0 hid->driver_data->urbin->sg->length 0-4294967295
PARAM_VALUE 0 hid->driver_data->urbin->sg->offset 0-4294967295
PARAM_VALUE 0 hid->driver_data->urbin->start_frame (-1)
PARAM_VALUE 0 hid->driver_data->urbin->status (-4095)-0
PARAM_VALUE 0 hid->driver_data->urbin->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 0 hid->driver_data->urbin->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 hid->driver_data->urbin->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 hid->driver_data->urbin->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 0 hid->driver_data->urbin->transfer_flags 0-4294967295
PARAM_VALUE 0 hid->driver_data->urbin->unlinked s32min-s32max
PARAM_VALUE 0 hid->driver_data->urbin->use_count.counter s32min-s32max
PARAM_VALUE 0 hid->driver_data->urbout->dev 0
PARAM_VALUE 0 hid->driver_data->urbout->kref.refcount.refs.counter 1
PARAM_VALUE 0 hid->driver_data->urbout->start_frame (-1)
PARAM_VALUE 0 hid->driver_data->urbout->transfer_flags 4
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->up 0-1
PARAM_VALUE 0 hid->driver_input_lock.lock.dep_map->name 0-255
PARAM_VALUE 0 hid->hiddev 0,4096-ptr_max
PARAM_VALUE 0 hid->hidraw 4096-ptr_max
PARAM_VALUE 0 hid->inputs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hid->ll_driver 4096-ptr_max
PARAM_VALUE 0 hid->ll_driver->start 4096-ptr_max
PARAM_VALUE 0 hid->rdesc 1-u64max
PARAM_VALUE 0 hid->report_enum 4096-ptr_max
PARAM_VALUE 0 *hid->dev.driver_data->function_row_physmap 0-4294967295
PARAM_VALUE 0 *hid->driver_data->ctrlbuf 0-255
PARAM_VALUE 0 *hid->driver_data->event_buf 0-255
PARAM_VALUE 0 *hid->driver_data->inbuf 0-255
PARAM_VALUE 0 *hid->driver_data->outbuf 0-255
PARAM_VALUE 0 *hid->driver_data->urbctrl->context (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hid->driver_data->urbctrl->setup_packet 0-255
PARAM_VALUE 0 *hid->driver_data->urbctrl->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hid->driver_data->urbin->context (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hid->driver_data->urbin->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hid->driver_data->urbin->setup_packet 0-255
PARAM_VALUE 0 *hid->driver_data->urbin->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hid->driver_data->urbout->context (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hid->driver_data->urbout->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 real_product_id 195632587582128128
BUF_SIZE 0 hid->bpf_rdesc (-1)-s32max
BUF_SIZE 0 hid->devres_group_id s32min-(-1),1-s32max
CAPPED_DATA 0 hid 1
CAPPED_DATA 0 &hid->inputs 1
DATA_SOURCE 0 hid $0
PARAM_COMPARE 0 &hid->inputs != $0->inputs.next
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hid->driver_input_lock
TYPE_LOCK (struct hid_device)->driver_input_lock