4 * (C) 1992, 1993 Linus Torvalds, (C) 1997 Ingo Molnar
6 * IRQ/IPI changes taken from work by Thomas Radke
7 * <tomsoft@informatik.tu-chemnitz.de>
10 #include <asm/apicdef.h>
11 #include <asm/irq_vectors.h>
13 static inline int irq_canonicalize(int irq
)
15 return ((irq
== 2) ? 9 : irq
);
18 #ifdef CONFIG_X86_LOCAL_APIC
19 # define ARCH_HAS_NMI_WATCHDOG
22 #ifdef CONFIG_4KSTACKS
23 extern void irq_ctx_init(int cpu
);
24 extern void irq_ctx_exit(int cpu
);
25 # define __ARCH_HAS_DO_SOFTIRQ
27 # define irq_ctx_init(cpu) do { } while (0)
28 # define irq_ctx_exit(cpu) do { } while (0)
30 # define __ARCH_HAS_DO_SOFTIRQ
34 #ifdef CONFIG_HOTPLUG_CPU
35 #include <linux/cpumask.h>
36 extern void fixup_irqs(void);
37 extern void irq_force_complete_move(int);
40 extern void (*x86_platform_ipi_callback
)(void);
41 extern void native_init_IRQ(void);
42 extern bool handle_irq(unsigned irq
, struct pt_regs
*regs
);
44 extern unsigned int do_IRQ(struct pt_regs
*regs
);
46 /* Interrupt vector management */
47 extern DECLARE_BITMAP(used_vectors
, NR_VECTORS
);
48 extern int vector_used_by_percpu_irq(unsigned int vector
);
50 extern void init_ISA_irqs(void);
52 #endif /* _ASM_X86_IRQ_H */