iommu_32.h revision e0039348
1