Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-magicmouse.c magicmouse_battery_timer_tick() -> magicmouse_fetch_battery()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/hid/hid-magicmouse.c magicmouse_probe() -> magicmouse_fetch_battery()

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.srcu.dep_map->name 0-255
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->dev.driver_data->wacom_wac.pad_input->grab->private->inactivity_work.cpu s32min-s32max
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->minor (-1)-255
PARAM_VALUE 0 hdev->driver_data->intf->needs_remote_wakeup 1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.ktype->get_ownership 9073032014207823872
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.ktype->namespace 4142580293989273600
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->klist_children.get 2213798222526185472
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->klist_children.put 3126867300421632000
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->driver_data->qlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev 0
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev->dev.kobj.release.timer.flags 0-4294967295
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->urbctrl->unlinked s32min-s32max
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->dev 0
PARAM_VALUE 0 hdev->driver_data->urbout->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbout->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbout->dev->dev.kobj.release.timer.flags 0-4294967295
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_data->urbout->unlinked s32min-s32max
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->hidraw->list_lock.rlock.dep_map->name 0-255
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->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->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hdev->driver_data->urbin->setup_packet 0-255
PARAM_VALUE 0 *hdev->driver_data->urbin->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hdev->driver_data->urbout->context (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hdev->driver_data->urbout->transfer_buffer (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 hdev->bpf_rdesc (-1)-s32max
BUF_SIZE 0 hdev->devres_group_id s32min-(-1),1-s32max
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hdev->driver_input_lock
TYPE_LOCK (struct hid_device)->driver_input_lock

drivers/hid/hid-magicmouse.c magicmouse_probe() -> magicmouse_fetch_battery()

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_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->dev.driver_data->wacom_wac.pad_input->grab->private->inactivity_work.cpu s32min-s32max
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->minor (-1)-255
PARAM_VALUE 0 hdev->driver_data->intf->needs_remote_wakeup 1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.ktype->get_ownership 9073032014207823872
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.ktype->namespace 4142580293989273600
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->klist_children.get 2213798222526185472
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->klist_children.put 3126867300421632000
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->driver_data->intf->usb_dev->p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->driver_data->qlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev 0
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbctrl->dev->dev.kobj.release.timer.flags 0-4294967295
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->urbctrl->unlinked s32min-s32max
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->dev 0
PARAM_VALUE 0 hdev->driver_data->urbout->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbout->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 hdev->driver_data->urbout->dev->dev.kobj.release.timer.flags 0-4294967295
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_data->urbout->unlinked s32min-s32max
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->hidraw->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hdev->io_started 1
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->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->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hdev->driver_data->urbin->setup_packet 0-255
PARAM_VALUE 0 *hdev->driver_data->urbin->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hdev->driver_data->urbout->context (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *hdev->driver_data->urbout->transfer_buffer (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 hdev->bpf_rdesc (-1)-s32max
BUF_SIZE 0 hdev->devres_group_id s32min-(-1),1-s32max
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL