Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hid/hid-holtekff.c holtekff_init() -> holtekff_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | holtekff | 4096-ptr_max |
| PARAM_VALUE | 0 | holtekff->field | 4096-ptr_max |
| PARAM_VALUE | 0 | holtekff->field->report_count | 7 |
| PARAM_VALUE | 1 | hid | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->batteries.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->batteries.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->batteries.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->bpf.srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->bpf_rdesc | 1-u64max |
| PARAM_VALUE | 1 | hid->collection | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->collection_size | 16 |
| PARAM_VALUE | 1 | hid->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->dev.driver_data->haptic->default_auto_trigger | 0-4294967295 |
| PARAM_VALUE | 1 | hid->dev.driver_data->haptic->max_duration_id | 1-u16max |
| PARAM_VALUE | 1 | hid->dev.driver_data->haptic->max_waveform_id | 1-u16max |
| PARAM_VALUE | 1 | hid->dev.driver_data->is_buttonpad | 1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->is_pressurepad | 1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->maxcontacts | 0-255 |
| PARAM_VALUE | 1 | hid->dev.driver_data->num_function_row_keys | 1-24 |
| PARAM_VALUE | 1 | hid->devres_group_id | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->driver | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->driver_data->bufsize | 64-536870913 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.deferred_resume | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.idle_notification | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.request | 0-4 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.request_pending | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.runtime_status | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->counter.rqid.value | 0-u16max |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->counter.seq.value | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | hid->driver_data->dev->devres_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->head | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->hid_max_event_sz | 1-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->intf->minor | (-1)-255 |
| PARAM_VALUE | 1 | hid->driver_data->intf->needs_remote_wakeup | 1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.ktype->child_ns_type | 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.ktype->get_ownership | 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.parent->kset->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->qlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev | 0 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->transfer_buffer_length | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->transfer_flags | 4 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->actual_length | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->dev->urbnum.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->interval | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->dma_flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->dma_length | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->length | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->offset | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->start_frame | (-1) |
| PARAM_VALUE | 1 | hid->driver_data->urbin->status | (-4095)-0 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->unlinked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->use_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev | 0 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->start_frame | (-1) |
| PARAM_VALUE | 1 | hid->driver_data->urbout->transfer_flags | 4 |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | hid->driver_input_lock.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->hiddev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hid->hidraw | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->inputs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->ll_driver | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->ll_driver->start | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->rdesc | 1-u64max |
| PARAM_VALUE | 1 | hid->report_enum | 4096-ptr_max |
| PARAM_VALUE | 1 | *hid->dev.driver_data->function_row_physmap | 0-4294967295 |
| PARAM_VALUE | 1 | *hid->driver_data->ctrlbuf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->event_buf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->inbuf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->outbuf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->urbctrl->context | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbctrl->setup_packet | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->urbctrl->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->context | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->hcpriv | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->setup_packet | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbout->context | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbout->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 0 | holtekff | 8 |
| BUF_SIZE | 1 | hid->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 1 | hid->devres_group_id | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | data | 7 |
| CAPPED_DATA | 1 | hid | 1 |
| CAPPED_DATA | 1 | &hid->inputs | 1 |
| DATA_SOURCE | 0 | holtekff | r _kzalloc_noprof |
| DATA_SOURCE | 1 | hid | $0 |
| PARAM_COMPARE | 1 | &hid->inputs | != $1->inputs.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 1 | &hid->driver_input_lock | |
| TYPE_LOCK | (struct hid_device)->driver_input_lock |
drivers/hid/hid-holtekff.c holtekff_init() -> holtekff_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | holtekff | 4096-ptr_max |
| PARAM_VALUE | 0 | holtekff->field | 4096-ptr_max |
| PARAM_VALUE | 0 | holtekff->field->report_count | 7 |
| PARAM_VALUE | 0 | holtekff->field->value | 4096-ptr_max |
| PARAM_VALUE | 0 | *holtekff->field->value | 0-255 |
| PARAM_VALUE | 1 | hid | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->batteries.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->batteries.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->batteries.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->bpf_rdesc | 1-u64max |
| PARAM_VALUE | 1 | hid->collection | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->collection_size | 16 |
| PARAM_VALUE | 1 | hid->debug_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.bat_charging | 0-1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.bat_connected | 0-1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.bat_status | s32min-s32max |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.battery->changed | 1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.battery_capacity | s32min-s32max |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.ps_connected | 0-1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->haptic->default_auto_trigger | 0-4294967295 |
| PARAM_VALUE | 1 | hid->dev.driver_data->haptic->max_duration_id | 1-u16max |
| PARAM_VALUE | 1 | hid->dev.driver_data->haptic->max_waveform_id | 1-u16max |
| PARAM_VALUE | 1 | hid->dev.driver_data->is_buttonpad | 1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->is_pressurepad | 1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->maxcontacts | 0-255 |
| PARAM_VALUE | 1 | hid->dev.driver_data->num_function_row_keys | 1-24 |
| PARAM_VALUE | 1 | hid->dev.driver_data->release_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->devres_group_id | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->driver | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->driver_data->bufsize | 64-536870913 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.deferred_resume | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.idle_notification | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.request | 0-4 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.request_pending | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.runtime_status | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->bundle->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->cli_data->cur_hid_dev | 0-s32max |
| PARAM_VALUE | 1 | hid->driver_data->cli_data->work.cpu | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->cli_data->work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->dev->ipc_tx_cnt | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->ishtp_flow_ctrl_creds | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->last_dma_acked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->last_ipc_acked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->last_tx_path | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->send_msg_cnt_dma | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->send_msg_cnt_ipc | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->sending | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->tx_list_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->tx_ring_free_size | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->counter.rqid.value | 0-u16max |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->counter.seq.value | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | hid->driver_data->ctrl->cplt.event.notif.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | hid->driver_data->ctrlhead | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->dev->devres_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->head | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->hid_max_event_sz | 1-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.deferred_resume | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.idle_notification | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.request | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.request_pending | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.runtime_error | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.runtime_status | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->intf->minor | (-1)-255 |
| PARAM_VALUE | 1 | hid->driver_data->intf->needs_remote_wakeup | 1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.ktype->child_ns_type | 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.ktype->get_ownership | 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.parent->kset->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->usb_dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->outhead | 0-63 |
| PARAM_VALUE | 1 | hid->driver_data->qlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->raw_get_req | 0 |
| PARAM_VALUE | 1 | hid->driver_data->request_done | 0 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev | 0 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->reject.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->transfer_buffer_length | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->transfer_flags | 4 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->unlinked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->actual_length | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->dev->urbnum.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->interval | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->dma_flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->dma_length | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->length | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->sg->offset | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->start_frame | (-1) |
| PARAM_VALUE | 1 | hid->driver_data->urbin->status | (-4095)-0 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->transfer_flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbin->unlinked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbin->use_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev | 0 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->reject.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->start_frame | (-1) |
| PARAM_VALUE | 1 | hid->driver_data->urbout->transfer_flags | 4 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->unlinked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | hid->driver_input_lock.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_input_lock.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | hid->hiddev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hid->hidraw | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->hidraw->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->inputs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->ll_driver | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->ll_driver->start | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->rdesc | 1-u64max |
| PARAM_VALUE | 1 | hid->report_enum | 4096-ptr_max |
| PARAM_VALUE | 1 | *hid->dev.driver_data->function_row_physmap | 0-4294967295 |
| PARAM_VALUE | 1 | *hid->driver_data->cli_data->request_done | 0-1 |
| PARAM_VALUE | 1 | *hid->driver_data->client_data->hid_ishtp_cl->dev->ishtp_dma_tx_map | 1 |
| PARAM_VALUE | 1 | *hid->driver_data->client_data->hid_ishtp_cl->last_dma_addr | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->ctrlbuf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->event_buf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->inbuf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->outbuf | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->urbctrl->context | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbctrl->setup_packet | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->urbctrl->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->context | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->hcpriv | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->setup_packet | 0-255 |
| PARAM_VALUE | 1 | *hid->driver_data->urbin->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbout->context | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *hid->driver_data->urbout->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 0 | holtekff | 8 |
| BUF_SIZE | 1 | hid->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 1 | hid->devres_group_id | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | data | 7 |
| CAPPED_DATA | 1 | hid | 1 |
| CAPPED_DATA | 1 | &hid->inputs | 1 |
| DATA_SOURCE | 0 | holtekff | r _kzalloc_noprof |
| DATA_SOURCE | 1 | hid | $0 |
| PARAM_COMPARE | 1 | &hid->inputs | != $1->inputs.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 1 | &hid->driver_input_lock | |
| TYPE_LOCK | (struct hid_device)->driver_input_lock |
drivers/hid/hid-holtekff.c holtekff_play() -> holtekff_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | holtekff | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | holtekff | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | hid | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | hid | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | data | 7 |
| DATA_SOURCE | 0 | holtekff | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | hid | unit_byte |
| HALF_LOCKED2 | &dev->event_lock | ||
| HALF_LOCKED2 | irq |
drivers/hid/hid-holtekff.c holtekff_play() -> holtekff_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| BUF_SIZE | 0 | holtekff | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | holtekff | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | hid | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | hid | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | data | 7 |
| DATA_SOURCE | 0 | holtekff | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | hid | unit_byte |
| HALF_LOCKED2 | &dev->event_lock | ||
| HALF_LOCKED2 | irq |
drivers/hid/hid-holtekff.c holtekff_play() -> holtekff_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | holtekff | 4096-ptr_max |
| PARAM_VALUE | 0 | holtekff->field | 4096-ptr_max |
| PARAM_VALUE | 0 | holtekff->field->value | 4096-ptr_max |
| PARAM_VALUE | 0 | *holtekff->field->value | 0-255 |
| PARAM_VALUE | 1 | hid | 4096-ptr_max |
| PARAM_VALUE | 1 | hid->debug_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.bat_charging | 0-1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.bat_connected | 0-1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.bat_status | s32min-s32max |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.battery->changed | 1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.battery_capacity | s32min-s32max |
| PARAM_VALUE | 1 | hid->dev.driver_data->battery.ps_connected | 0-1 |
| PARAM_VALUE | 1 | hid->dev.driver_data->release_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->cli_data->cur_hid_dev | 0-s32max |
| PARAM_VALUE | 1 | hid->driver_data->cli_data->work.cpu | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->cli_data->work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->dev->ipc_tx_cnt | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->ishtp_flow_ctrl_creds | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->last_dma_acked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->last_ipc_acked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->last_tx_path | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->send_msg_cnt_dma | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->send_msg_cnt_ipc | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->sending | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->tx_list_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->client_data->hid_ishtp_cl->tx_ring_free_size | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->ctrlhead | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.deferred_resume | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.idle_notification | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.request | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.request_pending | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.runtime_error | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.runtime_status | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->driver_data->outhead | 0-63 |
| PARAM_VALUE | 1 | hid->driver_data->raw_get_req | 0 |
| PARAM_VALUE | 1 | hid->driver_data->request_done | 0 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->dev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->reject.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbctrl->unlinked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->dev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | hid->driver_data->urbout->reject.counter | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_data->urbout->unlinked | s32min-s32max |
| PARAM_VALUE | 1 | hid->driver_input_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | hid->driver_input_lock.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | hid->hidraw->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | hid->ll_driver | 4096-ptr_max |
| PARAM_VALUE | 1 | *hid->driver_data->cli_data->request_done | 0-1 |
| PARAM_VALUE | 1 | *hid->driver_data->client_data->hid_ishtp_cl->dev->ishtp_dma_tx_map | 1 |
| PARAM_VALUE | 1 | *hid->driver_data->client_data->hid_ishtp_cl->last_dma_addr | 0-255 |
| BUF_SIZE | 0 | holtekff | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | holtekff | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | hid | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | hid | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | data | 7 |
| DATA_SOURCE | 0 | holtekff | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | hid | unit_byte |
| HALF_LOCKED2 | &dev->event_lock | ||
| HALF_LOCKED2 | irq |