x86/kernel/irq_work.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003  * x86 specific code for irq_work
0004  *
0005  * Copyright (C) 2010 Red Hat, Inc., Peter Zijlstra
0006  */
0007
0008 #include <linux/kernel.h>
0009 #include <linux/irq_work.h>
0010 #include <linux/hardirq.h>
0011 #include <asm/apic.h>
0012 #include <asm/idtentry.h>
0013 #include <asm/trace/irq_vectors.h>
0014 #include <linux/interrupt.h>
0015
0016 #ifdef CONFIG_X86_LOCAL_APIC
0017 DEFINE_IDTENTRY_SYSVEC(sysvec_irq_work)
0018 {
0019     ack_APIC_irq();
0020     trace_irq_work_entry(IRQ_WORK_VECTOR);
0021     inc_irq_stat(apic_irq_work_irqs);
0022     irq_work_run();
0023     trace_irq_work_exit(IRQ_WORK_VECTOR);
0024 }
0025
0026 void arch_irq_work_raise(void)
0027 {
0028     if (!arch_irq_work_has_interrupt())
0029         return;
0030
0031     apic->send_IPI_self(IRQ_WORK_VECTOR);
0032     apic_wait_icr_idle();
0033 }
0034 #endif