Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/iommufd/selftest.c iommufd_test_mock_domain() -> iommufd_device_attach()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dev 4096-ptr_max
PARAM_VALUE 0 idev->dev->iommu 0,4096-ptr_max
PARAM_VALUE 0 idev->ictx 4096-ptr_max
PARAM_VALUE 0 idev->igroup 0-ptr_max
PARAM_VALUE 1 pasid 0
PARAM_VALUE 2 pt_id 2747688499419410432
BUF_SIZE 0 idev->dev 1616
DATA_SOURCE 0 idev r iommufd_device_bind
USER_DATA 2 *pt_id 0-u32max[u]
USER_PTR 2 pt_id

drivers/iommu/iommufd/selftest.c iommufd_test_pasid_attach() -> iommufd_device_attach()

Type Parameter Key Value
PARAM_VALUE 2 pt_id 8421750914493251604
USER_DATA 1 pasid 0-u32max[u]
USER_DATA 2 *pt_id 0-u32max[u]
USER_PTR 2 pt_id

drivers/vfio/iommufd.c vfio_iommufd_physical_attach_ioas() -> iommufd_device_attach()

Type Parameter Key Value
PARAM_VALUE 0 idev 1-u64max
PARAM_VALUE 1 pasid 0
PARAM_VALUE 2 pt_id 7368657603473494024,7375752851435810816
DATA_SOURCE 2 pt_id $1
USER_DATA 2 *pt_id 0-u32max
USER_PTR 2 pt_id
LOCK2 &vdev->dev_set->lock
HALF_LOCKED2 &vdev->group->group_lock
TYPE_LOCK (struct vfio_device_set)->lock

drivers/vfio/iommufd.c vfio_iommufd_physical_pasid_attach_ioas() -> iommufd_device_attach()

Type Parameter Key Value
PARAM_VALUE 0 idev 1-u64max
PARAM_VALUE 1 pasid 0-s32max
PARAM_VALUE 2 pt_id 7368657603473494024
DATA_SOURCE 1 pasid $1
DATA_SOURCE 2 pt_id $2
NOSPEC 1 pasid
USER_DATA 1 pasid 0-s32max
USER_DATA 2 *pt_id 0-u32max
USER_PTR 2 pt_id
LOCK2 &vdev->dev_set->lock
TYPE_LOCK (struct vfio_device_set)->lock