map_ioapic_to_iommu
iommu = map_ioapic_to_iommu(fwspec->param[0]);
if (!map_ioapic_to_iommu(ioapic_id)) {