#endif
 
 
+#ifdef CONFIG_PCI
 static void mpc86xx_8259_cascade(unsigned int irq, struct irq_desc *desc,
                                 struct pt_regs *regs)
 {
                generic_handle_irq(cascade_irq, regs);
        desc->chip->eoi(irq);
 }
+#endif /* CONFIG_PCI */
 
 void __init
 mpc86xx_hpcn_init_irq(void)
 {
        struct mpic *mpic1;
-       struct device_node *np, *cascade_node = NULL;
-       int cascade_irq;
+       struct device_node *np;
        phys_addr_t openpic_paddr;
+#ifdef CONFIG_PCI
+       struct device_node *cascade_node = NULL;
+       int cascade_irq;
+#endif
 
        np = of_find_node_by_type(NULL, "open-pic");
        if (np == NULL)
 
 
        printk(KERN_INFO "Found MPC86xx PCIE host bridge at 0x%08lx. "
               "Firmware bus number: %d->%d\n",
-               rsrc.start, hose->first_busno, hose->last_busno);
+              (unsigned long) rsrc.start,
+              hose->first_busno, hose->last_busno);
 
        DBG(" ->Hose at 0x%p, cfg_addr=0x%p,cfg_data=0x%p\n",
                hose, hose->cfg_addr, hose->cfg_data);
 
 #define _ISA_MEM_BASE   isa_mem_base
 #ifdef CONFIG_PCI
 #define PCI_DRAM_OFFSET pci_dram_offset
-#else
-#define PCI_DRAM_OFFSET 0
 #endif
 
 #define CPU0_BOOT_RELEASE 0x01000000