extern irqreturn_t timer_interrupt(int irq, void *dev_id);
/* these are the defined hooks */
-extern void intr_init_hook(void);
extern void pre_intr_init_hook(void);
-extern void pre_setup_arch_hook(void);
+extern void intr_init_hook(void);
+
extern void trap_init_hook(void);
+
extern void pre_time_init_hook(void);
extern void time_init_hook(void);
-extern void mca_nmi_hook(void);
#endif /* _ASM_X86_ARCH_HOOKS_H */