pub const VIRTIO_IOMMU_FAULT_R_MAPPING: u32 = 2;