Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/vfio/iommufd.c vfio_df_iommufd_bind() -> (struct vfio_device_ops)->bind_iommufd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->dev 4096-ptr_max
PARAM_VALUE 0 vdev->group 4096-ptr_max
PARAM_VALUE 0 vdev->open_count 1
PARAM_VALUE 0 vdev->ops 4096-ptr_max
PARAM_VALUE 1 ictx 1-u64max
PARAM_VALUE 2 out_device_id 4096-ptr_max
BUF_SIZE 1 ictx s32min-(-1),1-s32max
BUF_SIZE 1 ictx s32min-(-1),1-s32max
CONTAINER 0 -24-8+0 $(-1)
LOCK2 &device->dev_set->lock
HALF_LOCKED2 &device->group->group_lock
TYPE_LOCK (struct vfio_device_set)->lock