Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/iommu/iommufd/selftest.c __get_md_pagetable() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 2-3
BUF_SIZE 0 ictx s32min-(-2),1-s32max
BUF_SIZE 0 ictx s32min-(-2),1-s32max
DATA_SOURCE 1 id $1
DATA_SOURCE 2 type $2
HARD_MAX 2 type 3
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/selftest.c iommufd_get_device() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 1
BUF_SIZE 0 ictx s32min-(-2),1-s32max
BUF_SIZE 0 ictx s32min-(-2),1-s32max
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/selftest.c iommufd_get_hwpt() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 1 id 1-u32max
PARAM_VALUE 2 type 0
BUF_SIZE 0 ictx s32min-(-2),1-s32max
BUF_SIZE 0 ictx s32min-(-2),1-s32max
DATA_SOURCE 1 id $1
USER_DATA 1 id 1-u32max[u]

drivers/iommu/iommufd/selftest.c iommufd_get_ioas() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 4
BUF_SIZE 0 ictx s32min-(-2),1-s32max
BUF_SIZE 0 ictx s32min-(-2),1-s32max
DATA_SOURCE 0 ictx $0
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/selftest.c iommufd_test_get_selftest_obj() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 11
BUF_SIZE 0 ictx s32min-(-2),1-s32max
BUF_SIZE 0 ictx s32min-(-2),1-s32max
DATA_SOURCE 0 ictx $0
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/viommu.c iommufd_get_device() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 1
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/viommu.c iommufd_get_hwpt_paging() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 2
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/viommu.c iommufd_get_viommu() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 7
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/device.c iommufd_device_change_pt() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 0
BUF_SIZE 0 ictx s32min-(-1),1-s32max
BUF_SIZE 0 ictx s32min-(-1),1-s32max
USER_DATA 1 id 0-u32max
HALF_LOCKED2 &vdev->dev_set->lock

drivers/iommu/iommufd/device.c iommufd_get_device() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 1
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/device.c iommufd_get_ioas() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 4
BUF_SIZE 0 ictx s32min-(-1),1-s32max
BUF_SIZE 0 ictx s32min-(-1),1-s32max
DATA_SOURCE 0 ictx $0
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max
LOCK2 &access->ioas_lock
HALF_LOCKED2 &vdev->dev_set->lock
TYPE_LOCK (struct iommufd_access)->ioas_lock

drivers/iommu/iommufd/vfio_compat.c iommufd_get_ioas() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 4
DATA_SOURCE 0 ictx $0
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/eventq.c iommufd_get_viommu() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 7
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/hw_pagetable.c iommufd_get_device() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 1
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/hw_pagetable.c iommufd_get_fault() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 6
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]
HALF_LOCKED2 &ioas->mutex

drivers/iommu/iommufd/hw_pagetable.c iommufd_get_hwpt_paging() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 2
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]

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

Type Parameter Key Value
PARAM_VALUE 2 type 0
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/hw_pagetable.c iommufd_hwpt_invalidate() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 0
USER_DATA 1 id 0-u32max[u]

drivers/iommu/iommufd/ioas.c iommufd_get_ioas() -> iommufd_get_object()

Type Parameter Key Value
PARAM_VALUE 2 type 4
BUF_SIZE 0 ictx s32min-(-1),1-s32max
BUF_SIZE 0 ictx s32min-(-1),1-s32max
DATA_SOURCE 0 ictx $0
DATA_SOURCE 1 id $1
USER_DATA 1 id 0-u32max[u]