pidff_erase_pid identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/hid/usbhid/hid-pidff.c, line 883 (as a function)

Referenced in 1 files:

drivers/hid/usbhid/hid-pidff.c
- line 906
- line 1529

Smatch caller information:

drivers/hid/usbhid/hid-pidff.c pidff_check_autocenter() -> pidff_erase_pid()

Type	Parameter	Key	Value
PARAM_VALUE	0	pidff	4096-ptr_max
PARAM_VALUE	0	pidff->axes_enable	0,4096-ptr_max
PARAM_VALUE	0	pidff->block_load	4096-ptr_max
PARAM_VALUE	0	pidff->block_load_status	4096-ptr_max
PARAM_VALUE	0	pidff->block_load_status->value	4096-ptr_max
PARAM_VALUE	0	pidff->create_new_effect_type	4096-ptr_max
PARAM_VALUE	0	pidff->create_new_effect_type->value	4096-ptr_max
PARAM_VALUE	0	pidff->device_control	4096-ptr_max
PARAM_VALUE	0	pidff->effect_count	0
PARAM_VALUE	0	pidff->effect_direction	4096-ptr_max
PARAM_VALUE	0	pidff->effect_operation_status	4096-ptr_max
PARAM_VALUE	0	pidff->hid	4096-ptr_max
PARAM_VALUE	0	pidff->hid->driver_data->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	pidff->hid->driver_input_lock.first_waiter->up	0-1
PARAM_VALUE	0	pidff->hid->ll_driver	4096-ptr_max
PARAM_VALUE	0	pidff->set_effect_type	4096-ptr_max
PARAM_VALUE	0	*pidff->control_id	s32min-s32max
PARAM_VALUE	0	*pidff->direction_axis_id	s32min-s32max
PARAM_VALUE	0	*pidff->operation_id	s32min-s32max
PARAM_VALUE	0	*pidff->status_id	s32min-s32max
PARAM_VALUE	0	*pidff->type_id	s32min-s32max
BUF_SIZE	0	pidff	1696
CAPPED_DATA	0	pidff->hid	1
DATA_SOURCE	0	pidff	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hid/usbhid/hid-pidff.c pidff_erase_effect() -> pidff_erase_pid()

Type	Parameter	Key	Value
PARAM_VALUE	0	pidff	4096-ptr_max
PARAM_VALUE	0	pidff->effect	4096-ptr_max
PARAM_VALUE	0	pidff->effect_operation_status	4096-ptr_max
PARAM_VALUE	0	pidff->effect_operation_status->value	4096-ptr_max
PARAM_VALUE	0	pidff->hid	4096-ptr_max
PARAM_VALUE	0	pidff->hid->debug_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	pidff->hid->dev.driver_data->battery.bat_charging	0-1
PARAM_VALUE	0	pidff->hid->dev.driver_data->battery.bat_connected	0-1
PARAM_VALUE	0	pidff->hid->dev.driver_data->battery.bat_status	s32min-s32max
PARAM_VALUE	0	pidff->hid->dev.driver_data->battery.battery->changed	1
PARAM_VALUE	0	pidff->hid->dev.driver_data->battery.battery_capacity	s32min-s32max
PARAM_VALUE	0	pidff->hid->dev.driver_data->battery.ps_connected	0-1
PARAM_VALUE	0	pidff->hid->dev.driver_data->release_timer.flags	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->cli_data->cur_hid_dev	0-s32max
PARAM_VALUE	0	pidff->hid->driver_data->cli_data->work.cpu	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->cli_data->work.timer.flags	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->dev->ipc_tx_cnt	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->ishtp_flow_ctrl_creds	0-255
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->last_dma_acked	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->last_ipc_acked	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->last_tx_path	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->send_msg_cnt_dma	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->send_msg_cnt_ipc	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->sending	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->client_data->hid_ishtp_cl->tx_ring_free_size	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->ctrlhead	0-255
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.deferred_resume	0-1
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.idle_notification	0-1
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.request	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.request_pending	0-1
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.runtime_error	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.runtime_status	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.timer_autosuspends	0-1
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->intf->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	pidff->hid->driver_data->outhead	0-63
PARAM_VALUE	0	pidff->hid->driver_data->raw_get_req	0
PARAM_VALUE	0	pidff->hid->driver_data->request_done	0
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->dev->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->dev->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->dev->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->reject.counter	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->urbctrl->unlinked	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->urbout->dev->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->urbout->dev->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->urbout->dev->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	pidff->hid->driver_data->urbout->dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbout->dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbout->dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbout->dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	pidff->hid->driver_data->urbout->reject.counter	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_data->urbout->unlinked	s32min-s32max
PARAM_VALUE	0	pidff->hid->driver_input_lock.first_waiter->up	0-1
PARAM_VALUE	0	pidff->hid->driver_input_lock.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	pidff->hid->hidraw->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	pidff->hid->ll_driver	4096-ptr_max
PARAM_VALUE	0	*pidff->hid->driver_data->cli_data->request_done	0-1
PARAM_VALUE	0	*pidff->hid->driver_data->client_data->hid_ishtp_cl->dev->ishtp_dma_tx_map	1
PARAM_VALUE	0	*pidff->hid->driver_data->client_data->hid_ishtp_cl->last_dma_addr	0-255
BUF_SIZE	0	pidff	40,1696
BUF_SIZE	0	pidff	40,1696
CAPPED_DATA	0	pidff->hid	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		_T->lock
HALF_LOCKED2		&evdev->mutex