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