arch/x86/kernel/irq_work-xen.c

   1 /*
   2  * x86/Xen specific code for irq_work
   3  */
   4
   5 #include <linux/kernel.h>
   6 #include <linux/irq_work.h>
   7 #include <linux/hardirq.h>
   8 #include <asm/ipi.h>
   9
  10 #ifdef CONFIG_SMP
  11 void smp_irq_work_interrupt(struct pt_regs *regs)
  12 {
  13         inc_irq_stat(apic_irq_work_irqs);
  14         irq_work_run();
  15 }
  16
  17 void arch_irq_work_raise(void)
  18 {
  19         xen_send_IPI_self(IRQ_WORK_VECTOR);
  20 }
  21 #endif