Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-asus.c validate_mcu_fw_version() -> mcu_request_version()

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.device_data 16,4096-ptr_max
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->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->needs_remote_wakeup 1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.ktype->release 6807155752432570368
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.ktype->sysfs_ops 1281724614633295872
PARAM_VALUE 0 hdev->driver_data->qlock.rlock.dep_map->name 0-255
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->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->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_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->inputs.prev->next->next 4096-ptr_max
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->report_enum 4096-ptr_max
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->setup_packet 0-255
PARAM_VALUE 0 *hdev->driver_data->urbout->context (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hdev->driver_data->urbout->transfer_buffer (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hdev->driver_input_lock
TYPE_LOCK (struct hid_device)->driver_input_lock