|
@@ -257,7 +257,12 @@ extern void mpc52xx_declare_of_platform_devices(void);
|
|
extern void mpc52xx_init_irq(void);
|
|
extern void mpc52xx_init_irq(void);
|
|
extern unsigned int mpc52xx_get_irq(void);
|
|
extern unsigned int mpc52xx_get_irq(void);
|
|
|
|
|
|
|
|
+#ifdef CONFIG_PCI
|
|
extern int __init mpc52xx_add_bridge(struct device_node *node);
|
|
extern int __init mpc52xx_add_bridge(struct device_node *node);
|
|
|
|
+extern void __init mpc52xx_setup_pci(void);
|
|
|
|
+#else
|
|
|
|
+static inline void mpc52xx_setup_pci(void) { }
|
|
|
|
+#endif
|
|
|
|
|
|
extern void __init mpc52xx_map_wdt(void);
|
|
extern void __init mpc52xx_map_wdt(void);
|
|
extern void mpc52xx_restart(char *cmd);
|
|
extern void mpc52xx_restart(char *cmd);
|