Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/pci/ddbridge/ddbridge-core.c ddb_device_create() -> ddb_device_attrs_del()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 dev->ddb_dev->dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 dev->ddb_dev->dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 dev->ddb_dev->dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 dev->ddb_dev->dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->fwnode->dev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->fwnode->dev->p 1-u64max
PARAM_VALUE 0 dev->ddb_dev->fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 dev->ddb_dev->fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->ddb_dev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->ddb_dev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->ddb_dev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->ddb_dev->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->p->klist_children.get 2213798222526185472
PARAM_VALUE 0 dev->ddb_dev->p->klist_children.put 3126867300421632000
PARAM_VALUE 0 dev->ddb_dev->p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->ddb_dev->p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->ddb_dev->p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->ddb_dev->parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->ddb_dev->parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->ddb_dev->parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->ddb_dev->power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev->power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->has_dma 1
PARAM_VALUE 0 dev->link 4096-ptr_max
PARAM_VALUE 0 dev->msi 1-s32max
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->nr 0-13
PARAM_VALUE 0 dev->pdev 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pdev->dev.msi.domain 4096-ptr_max
PARAM_VALUE 0 dev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 dev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 dev->pdev->is_busmaster 1
PARAM_VALUE 0 dev->pdev->is_msi_managed 1
PARAM_VALUE 0 dev->pdev->msix_base 4096-ptr_max
PARAM_VALUE 0 dev->pdev->msix_enabled 1
PARAM_VALUE 0 dev->pdev->pcie_cap 0-1
PARAM_VALUE 0 dev->pdev->sriov->offset 0-u16max
PARAM_VALUE 0 dev->pdev->sriov->stride 0-u16max
BUF_SIZE 0 dev 398336
BUF_SIZE 0 dev->ddb_dev 1616
BUF_SIZE 0 dev->dev 1616
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 dev->ddb_dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
UNITS 0 dev unit_byte
LOCK2 global &ddb_mutex
HALF_LOCKED2 &pool->lock

drivers/media/pci/ddbridge/ddbridge-core.c ddb_device_destroy() -> ddb_device_attrs_del()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ddb_dev 0-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex