|
@@ -19,9 +19,6 @@
|
|
void ux500_restart(enum reboot_mode mode, const char *cmd);
|
|
void ux500_restart(enum reboot_mode mode, const char *cmd);
|
|
|
|
|
|
void __init ux500_map_io(void);
|
|
void __init ux500_map_io(void);
|
|
-extern void __init u8500_map_io(void);
|
|
|
|
-
|
|
|
|
-extern struct device * __init u8500_init_devices(void);
|
|
|
|
|
|
|
|
extern void __init ux500_init_irq(void);
|
|
extern void __init ux500_init_irq(void);
|
|
|
|
|