Defined in 1 files as a prototype:
Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 14 files:
- drivers/vfio/cdx/main.c, line 301
- drivers/vfio/fsl-mc/vfio_fsl_mc.c, line 586
- drivers/vfio/iommufd.c, line 133
- drivers/vfio/pci/hisilicon/hisi_acc_vfio_pci.c
- drivers/vfio/pci/ism/main.c, line 349
- drivers/vfio/pci/mlx5/main.c, line 1401
- drivers/vfio/pci/nvgrace-gpu/main.c
- drivers/vfio/pci/pds/vfio_dev.c, line 206
- drivers/vfio/pci/qat/main.c, line 618
- drivers/vfio/pci/vfio_pci.c, line 164
- drivers/vfio/pci/virtio/main.c
- drivers/vfio/pci/xe/main.c, line 537
- drivers/vfio/platform/vfio_amba.c, line 122
- drivers/vfio/platform/vfio_platform.c, line 108
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 |