Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/vfio/vfio_iommu_type1.c vfio_iommu_type1_attach_group() -> iommu_group_for_each_dev()

Type Parameter Key Value
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 fn 3941028639797530624
BUF_SIZE 1 data 8
DATA_SOURCE 0 group $1
NOCHECK_CALL
LOCK2 &container->group_lock
LOCK2 &iommu->lock
HALF_LOCKED2 &group->group_lock
HALF_LOCKED2 global &vfio.iommu_drivers_lock
TYPE_LOCK (struct vfio_container)->group_lock
TYPE_LOCK (struct vfio_iommu)->lock