Symbol: iommu_alloc_hwdte