extern void (*const interrupt[NR_IRQS])(void);