path: root/sys/linux/dev_vfio.txt.warn

struct vfio_iommu_type1_info: bad number of fields: syz=3 kernel=4
struct vfio_iommu_type1_info: bad size: syz=16 kernel=24
struct vfio_iommu_type1_dma_unmap: bad number of fields: syz=5 kernel=4
struct vfio_iommu_type1_dma_unmap: bad size: syz=32 kernel=24