vduse_dev_destroy identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/vdpa/vdpa_user/vduse_dev.c, line 2114 (as a function)

Referenced in 1 files:

drivers/vdpa/vdpa_user/vduse_dev.c
- line 2158
- line 2394

Smatch caller information:

drivers/vdpa/vdpa_user/vduse_dev.c vduse_create_dev() -> vduse_dev_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->api_version	0-18446744073709551614
PARAM_VALUE	0	dev->as	0,16,4096-ptr_max
PARAM_VALUE	0	dev->bounce_size	67108864
PARAM_VALUE	0	dev->config	16,4096-ptr_max
PARAM_VALUE	0	dev->config_size	0-s32max
PARAM_VALUE	0	dev->dev	4096-u64max
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->fwnode->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->fwnode->suppliers.next	4096-ptr_max
PARAM_VALUE	0	dev->dev->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev->kobj.sd->attr.notify_next	0,426918848001064960
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->p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev->p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev->p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev->p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev->p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev->parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	dev->dev->parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	dev->dev->parent->kobj.release.wq->saved_min_active	s32min-s32max
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->domain_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->domain_lock.first_waiter	0
PARAM_VALUE	0	dev->domain_lock.magic	4096-ptr_max
PARAM_VALUE	0	dev->domain_lock.osq.tail.counter	0
PARAM_VALUE	0	dev->domain_lock.owner.counter	0
PARAM_VALUE	0	dev->groups	0,16,4096-ptr_max
PARAM_VALUE	0	dev->lock.dep_map->name	0-255
PARAM_VALUE	0	dev->lock.first_waiter	0
PARAM_VALUE	0	dev->lock.magic	4096-ptr_max
PARAM_VALUE	0	dev->lock.osq.tail.counter	0
PARAM_VALUE	0	dev->lock.owner.counter	0
PARAM_VALUE	0	dev->minor	0-s32max
PARAM_VALUE	0	dev->msg_timeout	30
PARAM_VALUE	0	dev->name	0,4096-ptr_max
PARAM_VALUE	0	dev->recv_list.next	4096-ptr_max
PARAM_VALUE	0	dev->recv_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->recv_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->recv_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->recv_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->rwsem.count.counter	0
PARAM_VALUE	0	dev->rwsem.dep_map->name	0-255
PARAM_VALUE	0	dev->rwsem.first_waiter	0
PARAM_VALUE	0	dev->rwsem.magic	4096-ptr_max
PARAM_VALUE	0	dev->rwsem.osq.tail.counter	0
PARAM_VALUE	0	dev->rwsem.owner.counter	0
PARAM_VALUE	0	dev->send_list.next	4096-ptr_max
PARAM_VALUE	0	dev->send_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->send_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->send_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->send_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->vqs	0
PARAM_VALUE	0	dev->waitq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->waitq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->waitq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->waitq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->waitq.head.prev->prev	4096-ptr_max
BUF_SIZE	0	dev	992
BUF_SIZE	0	dev->as	0-721554505560
BUF_SIZE	0	dev->config	(-1)-s32max
BUF_SIZE	0	dev->dev	(-1),1616
BUF_SIZE	0	dev->groups	0-377957121960,u64max
CAPPED_DATA	0	dev->as	1
CAPPED_DATA	0	dev->dev	1
CAPPED_DATA	0	dev->groups	1
CAPPED_DATA	0	dev->name	1
DATA_SOURCE	0	dev	r vduse_dev_create
NOSPEC	0	dev->nas
NOCHECK_CALL
USER_DATA	0	dev->config_size	0-s32max[c]
USER_DATA	0	dev->device_features	0-u64max
USER_DATA	0	dev->device_id	0,2-u32max
USER_DATA	0	dev->nas	0-u32max
USER_DATA	0	dev->ngroups	0-u32max
USER_DATA	0	dev->vendor_id	0-u32max
NO_OVERFLOW_SIMPLE	0	dev->vq_num
USER_PTR	0	dev->config
LOCK2		global &vduse_lock

drivers/vdpa/vdpa_user/vduse_dev.c vduse_destroy_dev() -> vduse_dev_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->config_cb.callback	0
PARAM_VALUE	0	dev->config_cb.private	0
PARAM_VALUE	0	dev->connected	1
PARAM_VALUE	0	dev->driver_features	0
PARAM_VALUE	0	dev->inject.lockdep_map->name	0-255
PARAM_VALUE	0	dev->irq_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->lock.dep_map->name	0-255
PARAM_VALUE	0	dev->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->nas	0-s32max
PARAM_VALUE	0	dev->status	0
PARAM_VALUE	0	dev->suspended	0
PARAM_VALUE	0	dev->vdev	0
PARAM_VALUE	0	dev->vq_num	0-s32max
CAPPED_DATA	0	dev->as	1
CAPPED_DATA	0	dev->config	1
CAPPED_DATA	0	dev->groups	1
CAPPED_DATA	0	dev->name	1
CAPPED_DATA	0	dev->nas	1
CAPPED_DATA	0	dev->vq_num	1
CAPPED_DATA	0	dev->vqs	1
CAPPED_DATA	0	&dev->lock	1
DATA_SOURCE	0	dev	r vduse_find_dev
NOCHECK_CALL
LOCK2		global &vduse_lock