1 files changed, 8 insertions, 1 deletions

diff --git a/arch/powerpc/sysdev/ppc4xx_pci.c b/arch/powerpc/sysdev/ppc4xx_pci.c
index 5da8a44ea2f6..9f6f73d584d6 100644
--- a/arch/powerpc/sysdev/ppc4xx_pci.c
+++ b/arch/powerpc/sysdev/ppc4xx_pci.c
@@ -276,9 +276,16 @@ static void __init ppc4xx_probe_pci_bridge(struct device_node *np)
         const int *bus_range;
         int primary = 0;
 
+        /* Check if device is enabled */
+        if (!of_device_is_available(np)) {
+                printk(KERN_INFO "%s: Port disabled via device-tree\n",
+                       np->full_name);
+                return;
+        }
+
         /* Fetch config space registers address */
         if (of_address_to_resource(np, 0, &rsrc_cfg)) {
-                printk(KERN_ERR "%s:Can't get PCI config register base !",
+                printk(KERN_ERR "%s: Can't get PCI config register base !",
                        np->full_name);
                 return;
         }