vfio_put_device identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

include/linux/vfio.h, line 335 (as a function)

Referenced in 19 files:

Smatch caller information:

drivers/vfio/pci/virtio/main.c virtiovf_pci_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/virtio/main.c virtiovf_pci_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vfio/pci/mlx5/main.c mlx5vf_pci_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/mlx5/main.c mlx5vf_pci_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vfio/pci/vfio_pci.c vfio_pci_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/vfio_pci.c vfio_pci_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->device.kobj.name	1-u64max
PARAM_VALUE	0	device->noiommu	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

drivers/vfio/pci/xe/main.c xe_vfio_pci_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/xe/main.c xe_vfio_pci_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vfio/pci/pds/pci_drv.c pds_vfio_pci_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/pds/pci_drv.c pds_vfio_pci_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vfio/pci/qat/main.c qat_vf_vfio_pci_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/qat/main.c qat_vf_vfio_pci_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

samples/vfio-mdev/mdpy.c mdpy_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->device.kobj.name	1-u64max
PARAM_VALUE	0	device->noiommu	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

samples/vfio-mdev/mdpy.c mdpy_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

samples/vfio-mdev/mbochs.c mbochs_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->device.kobj.name	1-u64max
PARAM_VALUE	0	device->noiommu	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

samples/vfio-mdev/mbochs.c mbochs_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

drivers/vfio/pci/hisilicon/hisi_acc_vfio_pci.c hisi_acc_vfio_pci_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/hisilicon/hisi_acc_vfio_pci.c hisi_acc_vfio_pci_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vfio/cdx/main.c vfio_cdx_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
PARAM_VALUE	0	device->noiommu	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/cdx/main.c vfio_cdx_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

drivers/vfio/platform/vfio_platform.c vfio_platform_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
PARAM_VALUE	0	device->noiommu	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/platform/vfio_platform.c vfio_platform_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&_dev->mutex

drivers/vfio/platform/vfio_amba.c vfio_amba_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
PARAM_VALUE	0	device->noiommu	1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/platform/vfio_amba.c vfio_amba_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
NOCHECK_CALL

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	device->device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

samples/vfio-mdev/mtty.c mtty_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->device.kobj.name	1-u64max
PARAM_VALUE	0	device->noiommu	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

samples/vfio-mdev/mtty.c mtty_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

drivers/vfio/fsl-mc/vfio_fsl_mc.c vfio_fsl_mc_probe() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	16,4096-ptr_max
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
PARAM_VALUE	0	device->noiommu	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->cdev.count

drivers/vfio/fsl-mc/vfio_fsl_mc.c vfio_fsl_mc_remove() -> vfio_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device->comp.done	0-4294967293,u32max
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->device.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	device->device.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	device->device.links.status	0,3
PARAM_VALUE	0	device->device.p	4096-ptr_max
PARAM_VALUE	0	device->group	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex