|
@@ -219,7 +219,8 @@ static long vfio_platform_ioctl(void *device_data,
|
|
|
info.num_regions = vdev->num_regions;
|
|
|
info.num_irqs = vdev->num_irqs;
|
|
|
|
|
|
- return copy_to_user((void __user *)arg, &info, minsz);
|
|
|
+ return copy_to_user((void __user *)arg, &info, minsz) ?
|
|
|
+ -EFAULT : 0;
|
|
|
|
|
|
} else if (cmd == VFIO_DEVICE_GET_REGION_INFO) {
|
|
|
struct vfio_region_info info;
|
|
@@ -240,7 +241,8 @@ static long vfio_platform_ioctl(void *device_data,
|
|
|
info.size = vdev->regions[info.index].size;
|
|
|
info.flags = vdev->regions[info.index].flags;
|
|
|
|
|
|
- return copy_to_user((void __user *)arg, &info, minsz);
|
|
|
+ return copy_to_user((void __user *)arg, &info, minsz) ?
|
|
|
+ -EFAULT : 0;
|
|
|
|
|
|
} else if (cmd == VFIO_DEVICE_GET_IRQ_INFO) {
|
|
|
struct vfio_irq_info info;
|
|
@@ -259,7 +261,8 @@ static long vfio_platform_ioctl(void *device_data,
|
|
|
info.flags = vdev->irqs[info.index].flags;
|
|
|
info.count = vdev->irqs[info.index].count;
|
|
|
|
|
|
- return copy_to_user((void __user *)arg, &info, minsz);
|
|
|
+ return copy_to_user((void __user *)arg, &info, minsz) ?
|
|
|
+ -EFAULT : 0;
|
|
|
|
|
|
} else if (cmd == VFIO_DEVICE_SET_IRQS) {
|
|
|
struct vfio_irq_set hdr;
|