vfio_platform_ioctl_get_region_info
.get_region_info_caps = vfio_platform_ioctl_get_region_info,
.get_region_info_caps = vfio_platform_ioctl_get_region_info,
EXPORT_SYMBOL_GPL(vfio_platform_ioctl_get_region_info);
int vfio_platform_ioctl_get_region_info(struct vfio_device *core_vdev,