#include <asm/machvec.h>
#include <asm/rtc.h>
-#include <asm/machvec_init.h>
-
-#include <asm/se/io.h>
+#include <asm/se.h>
void heartbeat_se(void);
-void setup_se(void);
void init_se_IRQ(void);
/*
.mv_outsw = se_outsw,
.mv_outsl = se_outsl,
- .mv_isa_port2addr = se_isa_port2addr,
-
.mv_init_irq = init_se_IRQ,
#ifdef CONFIG_HEARTBEAT
.mv_heartbeat = heartbeat_se,