Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/hid/hid-input.c hidinput_connect() -> hidinput_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 hid 4096-ptr_max
PARAM_VALUE 0 hid->batteries.prev 4096-ptr_max
PARAM_VALUE 0 hid->batteries.prev->next 4096-ptr_max
PARAM_VALUE 0 hid->batteries.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hid->debug_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hid->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 hid->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 hid->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hid->dev.driver_data->battery.battery->changed_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hid->dev.driver_data->haptic->default_auto_trigger 0-4294967295
PARAM_VALUE 0 hid->dev.driver_data->haptic->max_duration_id 1-u16max
PARAM_VALUE 0 hid->dev.driver_data->haptic->max_waveform_id 1-u16max
PARAM_VALUE 0 hid->dev.driver_data->is_buttonpad 1
PARAM_VALUE 0 hid->dev.driver_data->is_pressurepad 1
PARAM_VALUE 0 hid->dev.driver_data->maxcontacts 0-255
PARAM_VALUE 0 hid->dev.driver_data->num_function_row_keys 1-24
PARAM_VALUE 0 hid->dev.driver_data->wacom_wac.pad_input->grab->private->inactivity_work.cpu s32min-s32max
PARAM_VALUE 0 hid->dev.driver_data->wacom_wac.pad_input->timer.flags 0-4294967295
PARAM_VALUE 0 hid->driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->up 0-1
PARAM_VALUE 0 hid->driver_input_lock.lock.dep_map->name 0-255
PARAM_VALUE 0 hid->hiddev->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hid->hidraw->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hid->inputs.next 4096-ptr_max
PARAM_VALUE 0 hid->inputs.next->next 4096-ptr_max
PARAM_VALUE 0 hid->inputs.prev 4096-ptr_max
PARAM_VALUE 0 hid->inputs.prev->next 4096-ptr_max
PARAM_VALUE 0 hid->inputs.prev->prev 4096-ptr_max
PARAM_VALUE 0 hid->io_started 0
PARAM_VALUE 0 hid->ll_driver 4096-ptr_max
PARAM_VALUE 0 hid->ll_driver->max_buffer_size 0,4096
PARAM_VALUE 0 hid->ll_driver->start 0,4096-ptr_max
PARAM_VALUE 0 *hid->dev.driver_data->function_row_physmap 0-4294967295
PARAM_VALUE 0 *hid->name 0-255
BUF_SIZE 0 hid->bpf_rdesc (-1)-s32max
BUF_SIZE 0 hid->devres_group_id s32min-(-1),1-s32max
CAPPED_DATA 0 hid 1
CAPPED_DATA 0 &hid->inputs 1
DATA_SOURCE 0 hid $0
BIT_INFO 0 hid->quirks 0x0,0xffffffff
BIT_INFO 0 hid->status 0x0,0xfffffffffffffffb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &hid->driver_input_lock

drivers/hid/hid-core.c hid_disconnect() -> hidinput_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 hid 4096-ptr_max
PARAM_VALUE 0 hid->dev.kobj.sd 0,4096-ptr_max
PARAM_VALUE 0 hid->dev.kobj.sd->__parent 0
PARAM_VALUE 0 hid->driver_input_lock.first_waiter->up 0-1
PARAM_VALUE 0 hid->io_started 0
DATA_SOURCE 0 hid $0
BIT_INFO 0 hid->claimed 0x1,0xffffffff
NOCHECK_CALL
HALF_LOCKED2 0 &hid->driver_input_lock