Constant linux_raw_sys::ioctl::VFIO_IOMMU_SPAPR_TCE_GET_INFO

pub const VFIO_IOMMU_SPAPR_TCE_GET_INFO: u32 = 15216;