1 // SPDX-License-Identifier: GPL-2.0
3 * x86 specific code for irq_work
5 * Copyright (C) 2010 Red Hat, Inc., Peter Zijlstra
8 #include <linux/kernel.h>
9 #include <linux/irq_work.h>
10 #include <linux/hardirq.h>
12 #include <asm/trace/irq_vectors.h>
13 #include <linux/interrupt.h>
15 #ifdef CONFIG_X86_LOCAL_APIC
16 __visible void __irq_entry smp_irq_work_interrupt(struct pt_regs *regs)
18 ipi_entering_ack_irq();
19 trace_irq_work_entry(IRQ_WORK_VECTOR);
20 inc_irq_stat(apic_irq_work_irqs);
22 trace_irq_work_exit(IRQ_WORK_VECTOR);
26 void arch_irq_work_raise(void)
28 if (!arch_irq_work_has_interrupt())
31 apic->send_IPI_self(IRQ_WORK_VECTOR);