···3030extern void platform_setup (char **);31313232/*3333- * platform_init_irq is called from init_IRQ.3434- */3535-extern void platform_init_irq (void);3636-3737-/*3833 * platform_restart is called to restart the system.3934 */4035extern void platform_restart (void);