|
@@ -96,5 +96,7 @@ extern void vfio_unregister_iommu_driver(
|
|
|
extern struct vfio_group *vfio_group_get_external_user(struct file *filep);
|
|
extern struct vfio_group *vfio_group_get_external_user(struct file *filep);
|
|
|
extern void vfio_group_put_external_user(struct vfio_group *group);
|
|
extern void vfio_group_put_external_user(struct vfio_group *group);
|
|
|
extern int vfio_external_user_iommu_id(struct vfio_group *group);
|
|
extern int vfio_external_user_iommu_id(struct vfio_group *group);
|
|
|
|
|
+extern long vfio_external_check_extension(struct vfio_group *group,
|
|
|
|
|
+ unsigned long arg);
|
|
|
|
|
|
|
|
#endif /* VFIO_H */
|
|
#endif /* VFIO_H */
|