|
@@ -46,7 +46,7 @@
|
|
|
extern void dec_machine_restart(char *command);
|
|
|
extern void dec_machine_halt(void);
|
|
|
extern void dec_machine_power_off(void);
|
|
|
-extern irqreturn_t dec_intr_halt(int irq, void *dev_id, struct pt_regs *regs);
|
|
|
+extern irqreturn_t dec_intr_halt(int irq, void *dev_id);
|
|
|
|
|
|
unsigned long dec_kn_slot_base, dec_kn_slot_size;
|
|
|
|