
<		if (!iommu_init_table(tbl, ppci->phb->node, 0, 0))
<			panic("Failed to initialize iommu table");
<
<		iommu_register_group(ppci->table_group,
---
>		if (!tbl) {
>			pr_err("Invalid tbl pointer\n");
>			return;
>		}
>		if (!ppci->phb) {
>			pr_err("Invalid ppci->phb pointer\n");
>			return;
>		}
>		if (!ppci->table_group) {
>			pr_err("Invalid ppci->table_group pointer\n");
>			return;
>		}
>		if (!iommu_init_table(tbl, ppci->phb->node, 0, 0))
>			panic("Failed to initialize iommu table");
>
>		iommu_register_group(ppci->table_group,
