Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/device.c iommufd_bind_noiommu() -> iommufd_alloc_group()

Type Parameter Key Value
PARAM_VALUE 1 group 0
BUF_SIZE 0 ictx s32min-(-1),1-s32max
BUF_SIZE 0 ictx s32min-(-1),1-s32max
HALF_LOCKED2 &device->dev_set->lock

drivers/iommu/iommufd/device.c iommufd_get_group() -> iommufd_alloc_group()

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