Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/iommu/iommufd/viommu.c iommufd_vdevice_alloc_ioctl() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ictx->objects.xa_flags 4-u32max
PARAM_VALUE 0 ictx->objects.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 obj 4096-ptr_max
NOCHECK_CALL
LOCK2 &idev->igroup->lock
TYPE_LOCK (struct iommufd_group)->lock

drivers/iommu/iommufd/device.c iommufd_device_auto_get_domain() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ictx->objects.xa_lock.rlock.dep_map->name 0-255
NOCHECK_CALL
LOCK2 &ioas->mutex
HALF_LOCKED2 &vdev->dev_set->lock
TYPE_LOCK (struct iommufd_ioas)->mutex

drivers/iommu/iommufd/device.c iommufd_device_bind() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 1 obj 4096-ptr_max
BUF_SIZE 0 ictx s32min-(-1),1-s32max
BUF_SIZE 0 ictx s32min-(-1),1-s32max
DATA_SOURCE 0 ictx $0
NOCHECK_CALL
HALF_LOCKED2 &device->dev_set->lock

drivers/iommu/iommufd/main.c iommufd_fops_ioctl() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
BUF_SIZE 0 ictx s32min-(-2),1-s32max
BUF_SIZE 0 ictx s32min-(-2),1-s32max
BUF_SIZE 1 obj 0
BIT_INFO 1 obj 0x0,0x0
NOCHECK_CALL

drivers/iommu/iommufd/eventq.c iommufd_veventq_alloc() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 1 obj 4096-ptr_max
NOCHECK_CALL
LOCK2 &viommu->veventqs_rwsem
TYPE_LOCK (struct iommufd_viommu)->veventqs_rwsem

drivers/iommu/iommufd/hw_pagetable.c iommufd_hwpt_alloc() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 1 obj 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &ioas->mutex

drivers/iommu/iommufd/hw_pagetable.c iommufd_hwpt_nested_alloc() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 1 obj 4096-ptr_max
DATA_SOURCE 0 ictx $0
NOCHECK_CALL

drivers/iommu/iommufd/hw_pagetable.c iommufd_hwpt_paging_alloc() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 1 obj 4096-ptr_max
DATA_SOURCE 0 ictx $0
NOCHECK_CALL
LOCK2 &ioas->mutex
TYPE_LOCK (struct iommufd_ioas)->mutex

drivers/iommu/iommufd/hw_pagetable.c iommufd_viommu_alloc_hwpt_nested() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 1 obj 4096-ptr_max
NOCHECK_CALL

drivers/iommu/iommufd/ioas.c iommufd_ioas_alloc_ioctl() -> iommufd_object_abort_and_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ictx->objects.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 obj 4096-ptr_max
NOCHECK_CALL