Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/main.c iommufd_fops_release() -> (struct iommufd_object_ops)->destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->users.refs.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/iommufd/main.c iommufd_object_abort_and_destroy() -> (struct iommufd_object_ops)->destroy()

Type Parameter Key Value
DATA_SOURCE 0 obj $1
NOCHECK_CALL
HALF_LOCKED2 &idev->igroup->lock
HALF_LOCKED2 &ioas->mutex
HALF_LOCKED2 &viommu->veventqs_rwsem

drivers/iommu/iommufd/main.c iommufd_object_remove() -> (struct iommufd_object_ops)->destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->users.refs.counter 0-s32max
CAPPED_DATA 0 obj 1
DATA_SOURCE 0 obj r xas_load
RX_PATH
TASK_NOT_RUNNING