vfio_pci_ioctl_get_region_info
return vfio_pci_ioctl_get_region_info(core_vdev, info, caps);
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
return vfio_pci_ioctl_get_region_info(core_vdev, info, caps);
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
EXPORT_SYMBOL_GPL(vfio_pci_ioctl_get_region_info);
return vfio_pci_ioctl_get_region_info(core_vdev, info, caps);
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
.get_region_info_caps = vfio_pci_ioctl_get_region_info,
int vfio_pci_ioctl_get_region_info(struct vfio_device *core_vdev,