thrustmaster_interrupts identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/hid/hid-thrustmaster.c, line 150 (as a function)

Referenced in 1 files:

drivers/hid/hid-thrustmaster.c, line 348

Smatch caller information:

drivers/hid/hid-thrustmaster.c thrustmaster_probe() -> thrustmaster_interrupts()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->batteries.prev	4096-ptr_max
PARAM_VALUE	0	hdev->batteries.prev->next	4096-ptr_max
PARAM_VALUE	0	hdev->batteries.prev->next->next	4096-ptr_max
PARAM_VALUE	0	hdev->bpf.srcu.dep_map->name	0-255
PARAM_VALUE	0	hdev->bpf_rdesc	1-u64max
PARAM_VALUE	0	hdev->collection	4096-ptr_max
PARAM_VALUE	0	hdev->collection_size	16
PARAM_VALUE	0	hdev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	hdev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	hdev->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	hdev->dev.driver_data->haptic->default_auto_trigger	0-4294967295
PARAM_VALUE	0	hdev->dev.driver_data->haptic->max_duration_id	1-u16max
PARAM_VALUE	0	hdev->dev.driver_data->haptic->max_waveform_id	1-u16max
PARAM_VALUE	0	hdev->dev.driver_data->is_buttonpad	1
PARAM_VALUE	0	hdev->dev.driver_data->is_pressurepad	1
PARAM_VALUE	0	hdev->dev.driver_data->maxcontacts	0-255
PARAM_VALUE	0	hdev->dev.driver_data->num_function_row_keys	1-24
PARAM_VALUE	0	hdev->dev.driver_data->wacom_wac.pad_input->grab->private->inactivity_work.cpu	s32min-s32max
PARAM_VALUE	0	hdev->devres_group_id	4096-ptr_max
PARAM_VALUE	0	hdev->driver	4096-ptr_max
PARAM_VALUE	0	hdev->driver_data->bufsize	64-536870913
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.deferred_resume	0-1
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.idle_notification	0-1
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.request	0-4
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.request_pending	0-1
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.runtime_status	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.timer_autosuspends	0-1
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->bundle->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	hdev->driver_data->ctrl->counter.rqid.value	0-u16max
PARAM_VALUE	0	hdev->driver_data->ctrl->counter.seq.value	0-255
PARAM_VALUE	0	hdev->driver_data->ctrl->cplt.event.notif.lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdev->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hdev->driver_data->ctrl->cplt.event.notif.lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdev->driver_data->dev->devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdev->driver_data->head	0-255
PARAM_VALUE	0	hdev->driver_data->hid_max_event_sz	1-4294967295
PARAM_VALUE	0	hdev->driver_data->intf->minor	(-1)-255
PARAM_VALUE	0	hdev->driver_data->intf->needs_remote_wakeup	1
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->kobj.ktype->get_ownership	9073032014207823872
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->kobj.ktype->namespace	4142580293989273600
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->p->klist_children.get	2213798222526185472
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->p->klist_children.put	3126867300421632000
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	hdev->driver_data->intf->usb_dev->p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	hdev->driver_data->qlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdev->driver_data->urbctrl->dev->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbctrl->dev->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbctrl->dev->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbctrl->kref.refcount.refs.counter	1
PARAM_VALUE	0	hdev->driver_data->urbctrl->transfer_buffer_length	1
PARAM_VALUE	0	hdev->driver_data->urbctrl->transfer_flags	4
PARAM_VALUE	0	hdev->driver_data->urbctrl->unlinked	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbin->actual_length	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbin->dev->urbnum.counter	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbin->interval	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbin->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbin->num_mapped_sgs	0-s32max
PARAM_VALUE	0	hdev->driver_data->urbin->sg->dma_flags	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbin->sg->dma_length	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbin->sg->length	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbin->sg->offset	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbin->start_frame	(-1)
PARAM_VALUE	0	hdev->driver_data->urbin->status	(-4095)-0
PARAM_VALUE	0	hdev->driver_data->urbin->transfer_buffer->_refcount.counter	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbin->transfer_buffer->bDeviceProtocol	1
PARAM_VALUE	0	hdev->driver_data->urbin->transfer_buffer->bmAttributes	0-255
PARAM_VALUE	0	hdev->driver_data->urbin->transfer_buffer->page_type	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbin->transfer_flags	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbin->unlinked	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbin->use_count.counter	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbout->dev->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbout->dev->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	hdev->driver_data->urbout->dev->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	hdev->driver_data->urbout->kref.refcount.refs.counter	1
PARAM_VALUE	0	hdev->driver_data->urbout->start_frame	(-1)
PARAM_VALUE	0	hdev->driver_data->urbout->transfer_flags	4
PARAM_VALUE	0	hdev->driver_data->urbout->unlinked	s32min-s32max
PARAM_VALUE	0	hdev->driver_input_lock.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	hdev->driver_input_lock.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	hdev->driver_input_lock.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	hdev->driver_input_lock.first_waiter->up	0-1
PARAM_VALUE	0	hdev->driver_input_lock.lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->hiddev	0,4096-ptr_max
PARAM_VALUE	0	hdev->hidraw	4096-ptr_max
PARAM_VALUE	0	hdev->hidraw->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdev->ll_driver	4096-ptr_max
PARAM_VALUE	0	hdev->ll_driver->start	4096-ptr_max
PARAM_VALUE	0	hdev->rdesc	1-u64max
PARAM_VALUE	0	*hdev->dev.driver_data->function_row_physmap	0-4294967295
PARAM_VALUE	0	*hdev->driver_data->ctrlbuf	0-255
PARAM_VALUE	0	*hdev->driver_data->event_buf	0-255
PARAM_VALUE	0	*hdev->driver_data->inbuf	0-255
PARAM_VALUE	0	*hdev->driver_data->outbuf	0-255
PARAM_VALUE	0	*hdev->driver_data->urbctrl->context	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*hdev->driver_data->urbctrl->setup_packet	0-255
PARAM_VALUE	0	*hdev->driver_data->urbctrl->transfer_buffer	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*hdev->driver_data->urbin->context	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*hdev->driver_data->urbin->hcpriv	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*hdev->driver_data->urbin->setup_packet	0-255
PARAM_VALUE	0	*hdev->driver_data->urbin->transfer_buffer	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*hdev->driver_data->urbout->context	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*hdev->driver_data->urbout->transfer_buffer	(-4611686018427387904)-4611686018427387903
BUF_SIZE	0	hdev->bpf_rdesc	(-1)-s32max
BUF_SIZE	0	hdev->devres_group_id	s32min-(-1),1-s32max
CAPPED_DATA	0	hdev	1
DATA_SOURCE	0	hdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&hdev->driver_input_lock
TYPE_LOCK		(struct hid_device)->driver_input_lock