intel_button_array_input_setup identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/platform/x86/intel/hid.c, line 499 (as a function)

Referenced in 1 files:

drivers/platform/x86/intel/hid.c, line 758

Smatch caller information:

drivers/platform/x86/intel/hid.c intel_hid_probe() -> intel_button_array_input_setup()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	device->dev.class	0,4096-ptr_max
PARAM_VALUE	0	device->dev.devres_head.prev	4096-ptr_max
PARAM_VALUE	0	device->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	device->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	device->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.physical_location->horizontal_position	0-3
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.physical_location->panel	0-7
PARAM_VALUE	0	device->dev.driver_data->input_dev->dev.physical_location->vertical_position	0-3
PARAM_VALUE	0	device->dev.driver_data->input_dev->devres_managed	1
PARAM_VALUE	0	device->dev.driver_data->input_dev->getkeycode	4238107648137248768,8136061661555138560
PARAM_VALUE	0	device->dev.driver_data->input_dev->hint_events_per_packet	1-4294967295
PARAM_VALUE	0	device->dev.driver_data->input_dev->id.bustype	25
PARAM_VALUE	0	device->dev.driver_data->input_dev->keycodemax	1-s32max
PARAM_VALUE	0	device->dev.driver_data->input_dev->max_vals	1-4294967295
PARAM_VALUE	0	device->dev.driver_data->input_dev->mt->slot	s32min-s32max
PARAM_VALUE	0	device->dev.driver_data->input_dev->name	1312040538819702784
PARAM_VALUE	0	device->dev.driver_data->input_dev->node.next	8912400628449923072
PARAM_VALUE	0	device->dev.driver_data->input_dev->poller->poll_interval	1-4294967295
PARAM_VALUE	0	device->dev.driver_data->input_dev->poller->poll_interval_max	1-4294967295
PARAM_VALUE	0	device->dev.driver_data->input_dev->setkeycode	6831800467930587136,8312272885086769152
PARAM_VALUE	0	device->dev.driver_data->input_dev->timer.lockdep_map->name	0-255
PARAM_VALUE	0	*device->dev.driver_data->input_dev->keycode	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*device->dev.driver_data->input_dev->name	0-255
PARAM_VALUE	0	*device->dev.driver_data->input_dev->rep	s32min-s32max
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING