Branch data     Line data    Source code

       1                 :            : // SPDX-License-Identifier: GPL-2.0
       2                 :            : /*
       3                 :            :  * x86 specific code for irq_work
       4                 :            :  *
       5                 :            :  * Copyright (C) 2010 Red Hat, Inc., Peter Zijlstra
       6                 :            :  */
       7                 :            : 
       8                 :            : #include <linux/kernel.h>
       9                 :            : #include <linux/irq_work.h>
      10                 :            : #include <linux/hardirq.h>
      11                 :            : #include <asm/apic.h>
      12                 :            : #include <asm/trace/irq_vectors.h>
      13                 :            : #include <linux/interrupt.h>
      14                 :            : 
      15                 :            : #ifdef CONFIG_X86_LOCAL_APIC
      16                 :          0 : __visible void __irq_entry smp_irq_work_interrupt(struct pt_regs *regs)
      17                 :            : {
      18                 :          0 :         ipi_entering_ack_irq();
      19                 :          0 :         trace_irq_work_entry(IRQ_WORK_VECTOR);
      20                 :          0 :         inc_irq_stat(apic_irq_work_irqs);
      21                 :          0 :         irq_work_run();
      22                 :          0 :         trace_irq_work_exit(IRQ_WORK_VECTOR);
      23                 :          0 :         exiting_irq();
      24                 :          0 : }
      25                 :            : 
      26                 :          0 : void arch_irq_work_raise(void)
      27                 :            : {
      28         [ #  # ]:          0 :         if (!arch_irq_work_has_interrupt())
      29                 :            :                 return;
      30                 :            : 
      31                 :          0 :         apic->send_IPI_self(IRQ_WORK_VECTOR);
      32                 :          0 :         apic_wait_icr_idle();
      33                 :            : }
      34                 :            : #endif