|
@@ -20,6 +20,7 @@
|
|
|
#include <linux/init.h>
|
|
|
#include <linux/sched.h>
|
|
|
#include <linux/ioport.h>
|
|
|
+#include <linux/irq.h>
|
|
|
#include <linux/mm.h>
|
|
|
#include <linux/delay.h>
|
|
|
#include <linux/interrupt.h>
|
|
@@ -50,7 +51,6 @@ extern struct resource ioport_resource;
|
|
|
extern struct resource iomem_resource;
|
|
|
extern void (*board_time_init)(void);
|
|
|
extern void pnx8550_time_init(void);
|
|
|
-extern void (*board_timer_setup)(struct irqaction *irq);
|
|
|
extern void pnx8550_timer_setup(struct irqaction *irq);
|
|
|
extern void rs_kgdb_hook(int tty_no);
|
|
|
extern void prom_printf(char *fmt, ...);
|