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_unbind() -> (struct vfio_device_ops)->unbind_iommufd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->open_count 1
PARAM_VALUE 0 vdev->ops 4096-ptr_max
PARAM_VALUE 0 vdev->ops->unbind_iommufd 411220427582353408,6641231486141259776
CONTAINER 0 -32-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &device->dev_set->lock
HALF_LOCKED2 &device->group->group_lock
TYPE_LOCK (struct vfio_device_set)->lock