1 files changed, 9 insertions, 0 deletions

diff --git a/arch/powerpc/sysdev/ppc4xx_pci.c b/arch/powerpc/sysdev/ppc4xx_pci.c
index b4a54c52e880..76886cf0e6dc 100644
--- a/arch/powerpc/sysdev/ppc4xx_pci.c
+++ b/arch/powerpc/sysdev/ppc4xx_pci.c
@@ -1634,6 +1634,15 @@ static void __init ppc4xx_probe_pciex_bridge(struct device_node *np)
         }
         port = &ppc4xx_pciex_ports[portno];
         port->index = portno;
+
+        /*
+         * Check if device is enabled
+         */
+        if (!of_device_is_available(np)) {
+                printk(KERN_INFO "PCIE%d: Port disabled via device-tree\n", port->index);
+                return;
+        }
+
         port->node = of_node_get(np);
         pval = of_get_property(np, "sdr-base", NULL);
         if (pval == NULL) {