1 /* SPDX-License-Identifier: GPL-2.0 */
5 * (C) 1992, 1993 Linus Torvalds, (C) 1997 Ingo Molnar
7 * IRQ/IPI changes taken from work by Thomas Radke
8 * <tomsoft@informatik.tu-chemnitz.de>
11 #include <asm/apicdef.h>
12 #include <asm/irq_vectors.h>
14 static inline int irq_canonicalize(int irq)
16 return ((irq == 2) ? 9 : irq);
20 extern void irq_ctx_init(int cpu);
22 # define irq_ctx_init(cpu) do { } while (0)
25 #define __ARCH_HAS_DO_SOFTIRQ
29 #ifdef CONFIG_HOTPLUG_CPU
30 #include <linux/cpumask.h>
31 extern int check_irq_vectors_for_cpu_disable(void);
32 extern void fixup_irqs(void);
35 #ifdef CONFIG_HAVE_KVM
36 extern void kvm_set_posted_intr_wakeup_handler(void (*handler)(void));
39 extern void (*x86_platform_ipi_callback)(void);
40 extern void native_init_IRQ(void);
42 extern bool handle_irq(struct irq_desc *desc, struct pt_regs *regs);
44 extern __visible unsigned int do_IRQ(struct pt_regs *regs);
46 extern void init_ISA_irqs(void);
48 #ifdef CONFIG_X86_LOCAL_APIC
49 void arch_trigger_cpumask_backtrace(const struct cpumask *mask,
51 #define arch_trigger_cpumask_backtrace arch_trigger_cpumask_backtrace
54 #endif /* _ASM_X86_IRQ_H */