Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->api_version 0-18446744073709551614
PARAM_VALUE 0 dev->as 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-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->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 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 4096-ptr_max
PARAM_VALUE 0 dev->nas 0-s32max
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->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 0-s32max
BUF_SIZE 0 dev->dev 1616
BUF_SIZE 0 dev->groups 0-377957121960
CAPPED_DATA 0 dev->dev 1
CAPPED_DATA 0 dev->nas 1
CAPPED_DATA 0 dev->ngroups 1
DATA_SOURCE 0 dev r vduse_dev_create
NOSPEC 0 dev->nas
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-s32max[c]
USER_DATA 0 dev->ngroups 0-s32max[c]
USER_DATA 0 dev->vendor_id 0-u32max
USER_DATA 1 vq_align 0-u32max
USER_DATA 2 vq_num 0-u32max
UNITS 1 vq_align unit_byte
USER_PTR 0 dev->config
LOCK2 global &vduse_lock