
<		if (!iommu_init_table(tbl, ppci->phb->node, 0, 0))
<			panic("Failed to initialize iommu table");
---
>		if (tbl == NULL)
>			panic("Failed to allocate iommu table");
>		if (!iommu_init_table(tbl, ppci->phb->node, 0, 0))
>			panic("Failed to initialize iommu table");
