Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->dev 4096-ptr_max
PARAM_VALUE 0 device->dev->iommu_group->devices_kobj->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 device->dev->iommu_group->devices_kobj->release.timer.is_hard 0-1
PARAM_VALUE 0 device->dev->iommu_group->devices_kobj->release.timer.is_lazy 0-1
PARAM_VALUE 0 device->dev->iommu_group->devices_kobj->release.timer.is_queued 0-1
PARAM_VALUE 0 device->dev->iommu_group->devices_kobj->release.timer.is_soft 0-1
PARAM_VALUE 0 device->dev->iommu_group->id s32min-s32max
PARAM_VALUE 0 device->dev->iommu_group->kobj.state_in_sysfs 1
PARAM_VALUE 0 device->dev->iommu_group->kobj.state_initialized 1
PARAM_VALUE 0 device->device.kobj->name 0-255
PARAM_VALUE 0 device->device.kobj.name 1-u64max
PARAM_VALUE 0 device->group 4096-ptr_max
PARAM_VALUE 0 device->group->cdev.count 0-1
PARAM_VALUE 0 device->group->cdev.kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 device->group->cdev.kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 device->group->cdev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 device->group->cdev.kobj.kset 0
PARAM_VALUE 0 device->group->cdev.kobj.ktype 1499647686170447872
PARAM_VALUE 0 device->group->cdev.kobj.name 0
PARAM_VALUE 0 device->group->cdev.kobj.parent 0,4096-ptr_max
PARAM_VALUE 0 device->group->cdev.kobj.release.cpu 0
PARAM_VALUE 0 device->group->cdev.kobj.release.wq 0
PARAM_VALUE 0 device->group->cdev.kobj.sd 0
PARAM_VALUE 0 device->group->cdev.kobj.state_in_sysfs 0
PARAM_VALUE 0 device->group->cdev.list.next 4096-ptr_max
PARAM_VALUE 0 device->group->cdev.list.prev 4096-ptr_max
PARAM_VALUE 0 device->group->cdev.owner 0
PARAM_VALUE 0 device->group->dev.power.completion.done u32max
PARAM_VALUE 0 device->group->device_list.next 4096-ptr_max
PARAM_VALUE 0 device->group->device_list.prev 4096-ptr_max
PARAM_VALUE 0 device->group->device_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 device->group->device_lock.magic 4096-ptr_max
PARAM_VALUE 0 device->group->device_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 device->group->drivers.refs.counter 1
PARAM_VALUE 0 device->group->group_lock.first_waiter 0
PARAM_VALUE 0 device->group->group_lock.magic 4096-ptr_max
PARAM_VALUE 0 device->group->group_lock.owner.counter 0
PARAM_VALUE 0 device->group->iommu_group 4096-ptr_max
PARAM_VALUE 0 device->group->type 0-2
PARAM_VALUE 0 device->group->vfio_next.next 4096-ptr_max
PARAM_VALUE 0 device->group->vfio_next.prev 6143122596409851904
PARAM_VALUE 0 device->noiommu 1
PARAM_VALUE 0 device->ops 4096-ptr_max
PARAM_VALUE 0 device->ops->attach_ioas 0,1440527574664003584,2870165480332972032
PARAM_VALUE 0 device->ops->bind_iommufd 0,5884758885010452480,8528398329957732352
PARAM_VALUE 0 device->ops->detach_ioas 0,2843062832344907776,7636109330980913152
PARAM_VALUE 0 device->ops->unbind_iommufd 0,411220427582353408,6641231486141259776
PARAM_VALUE 0 *device->dev->iommu->priv->link->link_dev.driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *device->dev->iommu->priv->link->link_dev.driver_data->fake_cis 0-255
PARAM_VALUE 0 *device->dev->iommu->priv->link->link_dev.p->deferred_probe_reason 0-255
PARAM_VALUE 0 *device->dev->iommu->priv->link->link_dev.p->knode_bus.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *device->dev->iommu->priv->link->link_dev.p->knode_class.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *device->dev->iommu->priv->link->link_dev.p->knode_driver.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *device->dev->iommu->priv->link->link_dev.p->knode_parent.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *device->dev->iommu->priv->smendx (-1)
PARAM_VALUE 0 *device->dev->iommu->priv->utlb_ctx (-1)
DATA_SOURCE 0 device $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 device->dev->acpi_flags 0-255
HOST_DATA 0 device->dev->cap 0-4294967295
HOST_DATA 0 device->dev->cap_ptr 0-u16max
HOST_DATA 0 device->dev->cmd_buf_head 0-4294967295
HOST_DATA 0 device->dev->cmd_buf_tail 0-4294967295
HOST_DATA 0 device->dev->cmd_sem_paddr s64min-s64max
HOST_DATA 0 device->dev->cmd_sem_val s64min-s64max
HOST_DATA 0 device->dev->dbg_cap_offset s32min-s32max
HOST_DATA 0 device->dev->dbg_mmio_offset s32min-s32max
HOST_DATA 0 device->dev->devid 0-u16max
HOST_DATA 0 device->dev->features s64min-s64max
HOST_DATA 0 device->dev->features2 s64min-s64max
HOST_DATA 0 device->dev->index s32min-s32max
HOST_DATA 0 device->dev->int_enabled 0-1
HOST_DATA 0 device->dev->iommu.max_pasids 0-u32max
HOST_DATA 0 device->dev->iommu.ready 0-1
HOST_DATA 0 device->dev->irtcachedis_enabled 0-1
HOST_DATA 0 device->dev->lock.magic 0-4294967295
HOST_DATA 0 device->dev->lock.owner_cpu 0-4294967295
HOST_DATA 0 device->dev->lock.raw_lock.locked 0-255
HOST_DATA 0 device->dev->lock.raw_lock.locked_pending 0-u16max
HOST_DATA 0 device->dev->lock.raw_lock.pending 0-255
HOST_DATA 0 device->dev->lock.raw_lock.tail 0-u16max
HOST_DATA 0 device->dev->lock.raw_lock.val.counter s32min-s32max
HOST_DATA 0 device->dev->max_banks 0-255
HOST_DATA 0 device->dev->max_counters 0-255
HOST_DATA 0 device->dev->mmio_phys s64min-s64max
HOST_DATA 0 device->dev->mmio_phys_end s64min-s64max
HOST_DATA 0 device->dev->need_sync 0-1
HOST_DATA 0 device->dev->stored_addr_hi 0-4294967295
HOST_DATA 0 device->dev->stored_addr_lo 0-4294967295
HOST_DATA 0 *device->dev s64min-s64max
NO_OVERFLOW_SIMPLE 0 device->group->cdev.count