Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/hid/hid-elan.c elan_input_configured() -> input_mt_destroy_slots()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->absbit 4096-ptr_max
PARAM_VALUE 0 dev->absinfo 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.flags 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->devres_managed 1
PARAM_VALUE 0 dev->evbit 4096-ptr_max
PARAM_VALUE 0 dev->h_list.next 4096-ptr_max
PARAM_VALUE 0 dev->h_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->h_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->h_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->h_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->keybit 4096-ptr_max
PARAM_VALUE 0 dev->max_vals 1-u32max
PARAM_VALUE 0 dev->mt 4096-ptr_max
PARAM_VALUE 0 dev->mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->mutex.first_waiter 0
PARAM_VALUE 0 dev->mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->mutex.owner.counter 0
PARAM_VALUE 0 dev->name 4731928217102495744
PARAM_VALUE 0 dev->node.next 4096-ptr_max
PARAM_VALUE 0 dev->node.next->next 4096-ptr_max
PARAM_VALUE 0 dev->node.prev 4096-ptr_max
PARAM_VALUE 0 dev->node.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->node.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 dev->propbit 4096-ptr_max
PARAM_VALUE 0 dev->timer.entry.pprev 0
PARAM_VALUE 0 dev->timer.flags 0-4194302
PARAM_VALUE 0 dev->timer.lockdep_map->name 0-255
PARAM_VALUE 0 dev->vals 16,4096-ptr_max
BUF_SIZE 0 dev 2480
BUF_SIZE 0 dev->dev.parent (-1),1616
BUF_SIZE 0 dev->name 14
BUF_SIZE 0 dev->phys 64
BUF_SIZE 0 dev->uniq 64
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r devm_input_allocate_device
STR_LEN 0 dev->name 13
TERMINATED 0 dev->name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->max_vals
HALF_LOCKED2 &hdev->driver_input_lock

drivers/input/input.c input_dev_release() -> input_mt_destroy_slots()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->evbit 4096-ptr_max
PARAM_VALUE 0 dev->ff 0
PARAM_VALUE 0 *dev->ff->private->wq->lockdep_map->name 0-255
PARAM_VALUE 0 *dev->ff->private->wq->rescuer->task->delays->lock.owner (-4611686018427387904)-4611686018427387903
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &subsys->su_mutex