vfio_device_debugfs_init identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/vfio/vfio.h, line 449 (as a prototype)

Defined in 2 files as a function:

Referenced in 1 files:

drivers/vfio/vfio_main.c, line 394

Smatch caller information:

drivers/vfio/vfio_main.c __vfio_register_dev() -> vfio_device_debugfs_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
PARAM_VALUE	0	vdev->cdev.count	0-1
PARAM_VALUE	0	vdev->cdev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	vdev->cdev.kobj.kset	0
PARAM_VALUE	0	vdev->cdev.kobj.ktype	1499647686170447872
PARAM_VALUE	0	vdev->cdev.kobj.name	0
PARAM_VALUE	0	vdev->cdev.kobj.parent	0,4096-ptr_max
PARAM_VALUE	0	vdev->cdev.kobj.release.cpu	0
PARAM_VALUE	0	vdev->cdev.kobj.release.timer.expires	0
PARAM_VALUE	0	vdev->cdev.kobj.release.timer.flags	0
PARAM_VALUE	0	vdev->cdev.kobj.release.work.func	0
PARAM_VALUE	0	vdev->cdev.kobj.release.wq	0
PARAM_VALUE	0	vdev->cdev.kobj.sd	0
PARAM_VALUE	0	vdev->cdev.kobj.state_add_uevent_sent	0
PARAM_VALUE	0	vdev->cdev.kobj.state_in_sysfs	0
PARAM_VALUE	0	vdev->cdev.kobj.uevent_suppress	0
PARAM_VALUE	0	vdev->cdev.list.next	4096-ptr_max
PARAM_VALUE	0	vdev->cdev.list.next->next	4096-ptr_max
PARAM_VALUE	0	vdev->cdev.list.prev	4096-ptr_max
PARAM_VALUE	0	vdev->cdev.list.prev->next	4096-ptr_max
PARAM_VALUE	0	vdev->cdev.list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vdev->cdev.ops	5046172142214582272
PARAM_VALUE	0	vdev->cdev.owner	0
PARAM_VALUE	0	vdev->dev	4096-ptr_max
PARAM_VALUE	0	vdev->dev->iommu_group->devices_kobj->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	vdev->dev->iommu_group->devices_kobj->release.timer.is_hard	0-1
PARAM_VALUE	0	vdev->dev->iommu_group->devices_kobj->release.timer.is_lazy	0-1
PARAM_VALUE	0	vdev->dev->iommu_group->devices_kobj->release.timer.is_queued	0-1
PARAM_VALUE	0	vdev->dev->iommu_group->devices_kobj->release.timer.is_soft	0-1
PARAM_VALUE	0	vdev->dev->iommu_group->id	s32min-s32max
PARAM_VALUE	0	vdev->dev->iommu_group->kobj.state_in_sysfs	1
PARAM_VALUE	0	vdev->dev->iommu_group->kobj.state_initialized	1
PARAM_VALUE	0	vdev->device.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	vdev->device.kobj->name	0-255
PARAM_VALUE	0	vdev->device.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	vdev->device.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	vdev->device.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	vdev->device.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	vdev->device.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	vdev->device.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	vdev->device.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vdev->device.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vdev->device.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vdev->device.physical_location->horizontal_position	0-3
PARAM_VALUE	0	vdev->device.physical_location->panel	0-7
PARAM_VALUE	0	vdev->device.physical_location->vertical_position	0-3
PARAM_VALUE	0	vdev->group	4096-ptr_max
PARAM_VALUE	0	vdev->group->cdev.count	0-1
PARAM_VALUE	0	vdev->group->cdev.kobj.entry.next	4096-ptr_max
PARAM_VALUE	0	vdev->group->cdev.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	vdev->group->cdev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	vdev->group->cdev.kobj.kset	0
PARAM_VALUE	0	vdev->group->cdev.kobj.ktype	1499647686170447872
PARAM_VALUE	0	vdev->group->cdev.kobj.name	0
PARAM_VALUE	0	vdev->group->cdev.kobj.parent	0,4096-ptr_max
PARAM_VALUE	0	vdev->group->cdev.kobj.release.cpu	0
PARAM_VALUE	0	vdev->group->cdev.kobj.release.wq	0
PARAM_VALUE	0	vdev->group->cdev.kobj.sd	0
PARAM_VALUE	0	vdev->group->cdev.kobj.state_in_sysfs	0
PARAM_VALUE	0	vdev->group->cdev.list.next	4096-ptr_max
PARAM_VALUE	0	vdev->group->cdev.list.prev	4096-ptr_max
PARAM_VALUE	0	vdev->group->cdev.owner	0
PARAM_VALUE	0	vdev->group->dev.power.completion.done	u32max
PARAM_VALUE	0	vdev->group->device_list.next	4096-ptr_max
PARAM_VALUE	0	vdev->group->device_list.next->next	4096-ptr_max
PARAM_VALUE	0	vdev->group->device_list.next->prev	4096-ptr_max
PARAM_VALUE	0	vdev->group->device_list.prev	4096-ptr_max
PARAM_VALUE	0	vdev->group->device_lock.dep_map->name	0-255
PARAM_VALUE	0	vdev->group->device_lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	vdev->group->device_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vdev->group->device_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	vdev->group->device_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	vdev->group->device_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	vdev->group->device_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	vdev->group->device_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	vdev->group->device_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	vdev->group->drivers.refs.counter	1
PARAM_VALUE	0	vdev->group->group_lock.first_waiter	0
PARAM_VALUE	0	vdev->group->group_lock.magic	4096-ptr_max
PARAM_VALUE	0	vdev->group->group_lock.owner.counter	0
PARAM_VALUE	0	vdev->group->iommu_group	4096-ptr_max
PARAM_VALUE	0	vdev->group->type	0-2
PARAM_VALUE	0	vdev->group->vfio_next.next	4096-ptr_max
PARAM_VALUE	0	vdev->group->vfio_next.prev	6143122596409851904
PARAM_VALUE	0	vdev->group_next.next	4096-ptr_max
PARAM_VALUE	0	vdev->group_next.prev	4096-ptr_max
PARAM_VALUE	0	vdev->noiommu	1
PARAM_VALUE	0	vdev->ops	4096-ptr_max
PARAM_VALUE	0	vdev->ops->attach_ioas	0,1440527574664003584,2870165480332972032
PARAM_VALUE	0	vdev->ops->bind_iommufd	0,5884758885010452480,8528398329957732352
PARAM_VALUE	0	vdev->ops->detach_ioas	0,2843062832344907776,7636109330980913152
PARAM_VALUE	0	vdev->ops->unbind_iommufd	0,411220427582353408,6641231486141259776
PARAM_VALUE	0	vdev->refcount.refs.counter	1
PARAM_VALUE	0	*vdev->dev->iommu->priv->link->link_dev.driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*vdev->dev->iommu->priv->link->link_dev.driver_data->fake_cis	0-255
PARAM_VALUE	0	*vdev->dev->iommu->priv->link->link_dev.p->deferred_probe_reason	0-255
PARAM_VALUE	0	*vdev->dev->iommu->priv->link->link_dev.p->knode_bus.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*vdev->dev->iommu->priv->link->link_dev.p->knode_class.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*vdev->dev->iommu->priv->link->link_dev.p->knode_driver.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*vdev->dev->iommu->priv->link->link_dev.p->knode_parent.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*vdev->dev->iommu->priv->smendx	(-1)
PARAM_VALUE	0	*vdev->dev->iommu->priv->utlb_ctx	(-1)
DATA_SOURCE	0	vdev	$0
MEM_ZERO	0	vdev->cdev.kobj.entry.next
MEM_ZERO	0	vdev->cdev.kobj.entry.prev
MEM_ZERO	0	vdev->cdev.kobj.release.timer.lockdep_map.key
MEM_ZERO	0	vdev->cdev.kobj.release.timer.lockdep_map.name
MEM_ZERO	0	vdev->cdev.kobj.release.work.lockdep_map.key
MEM_ZERO	0	vdev->cdev.kobj.release.work.lockdep_map.name
MEM_ZERO	0	&vdev->cdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	vdev->cdev.kobj.parent->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vdev->cdev.kobj.parent->release.cpu	s32min-s32max
HOST_DATA	0	vdev->cdev.kobj.parent->release.timer.expires	0-u64max
HOST_DATA	0	vdev->cdev.kobj.parent->release.timer.flags	0-u32max
HOST_DATA	0	vdev->cdev.kobj.parent->release.work.data.counter	s64min-s64max
HOST_DATA	0	vdev->cdev.kobj.parent->state_add_uevent_sent	0
HOST_DATA	0	vdev->cdev.kobj.parent->state_in_sysfs	0
HOST_DATA	0	vdev->cdev.kobj.parent->state_initialized	1
HOST_DATA	0	vdev->cdev.kobj.parent->state_remove_uevent_sent	0
HOST_DATA	0	vdev->cdev.kobj.parent->uevent_suppress	0-1
HOST_DATA	0	vdev->dev->acpi_flags	0-255
HOST_DATA	0	vdev->dev->cap	0-4294967295
HOST_DATA	0	vdev->dev->cap_ptr	0-u16max
HOST_DATA	0	vdev->dev->cmd_buf_head	0-4294967295
HOST_DATA	0	vdev->dev->cmd_buf_tail	0-4294967295
HOST_DATA	0	vdev->dev->cmd_sem_paddr	s64min-s64max
HOST_DATA	0	vdev->dev->cmd_sem_val	s64min-s64max
HOST_DATA	0	vdev->dev->dbg_cap_offset	s32min-s32max
HOST_DATA	0	vdev->dev->dbg_mmio_offset	s32min-s32max
HOST_DATA	0	vdev->dev->devid	0-u16max
HOST_DATA	0	vdev->dev->features	s64min-s64max
HOST_DATA	0	vdev->dev->features2	s64min-s64max
HOST_DATA	0	vdev->dev->index	s32min-s32max
HOST_DATA	0	vdev->dev->int_enabled	0-1
HOST_DATA	0	vdev->dev->iommu.max_pasids	0-u32max
HOST_DATA	0	vdev->dev->iommu.ready	0-1
HOST_DATA	0	vdev->dev->irtcachedis_enabled	0-1
HOST_DATA	0	vdev->dev->lock.magic	0-4294967295
HOST_DATA	0	vdev->dev->lock.owner_cpu	0-4294967295
HOST_DATA	0	vdev->dev->lock.raw_lock.locked	0-255
HOST_DATA	0	vdev->dev->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	0	vdev->dev->lock.raw_lock.pending	0-255
HOST_DATA	0	vdev->dev->lock.raw_lock.tail	0-u16max
HOST_DATA	0	vdev->dev->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	0	vdev->dev->max_banks	0-255
HOST_DATA	0	vdev->dev->max_counters	0-255
HOST_DATA	0	vdev->dev->mmio_phys	s64min-s64max
HOST_DATA	0	vdev->dev->mmio_phys_end	s64min-s64max
HOST_DATA	0	vdev->dev->need_sync	0-1
HOST_DATA	0	vdev->dev->stored_addr_hi	0-4294967295
HOST_DATA	0	vdev->dev->stored_addr_lo	0-4294967295
HOST_DATA	0	*vdev->dev	s64min-s64max
NO_OVERFLOW_SIMPLE	0	vdev->cdev.count
NO_OVERFLOW_SIMPLE	0	vdev->group->cdev.count