| .. | .. |
|---|
| 14 | 14 | #include <linux/memory.h> |
|---|
| 15 | 15 | #include <linux/smp.h> |
|---|
| 16 | 16 | #include <linux/hardirq.h> |
|---|
| 17 | +#include <linux/irq_pipeline.h> |
|---|
| 17 | 18 | #include <linux/init.h> |
|---|
| 18 | 19 | #include <linux/irqchip.h> |
|---|
| 19 | 20 | #include <linux/kprobes.h> |
|---|
| .. | .. |
|---|
| 28 | 29 | |
|---|
| 29 | 30 | DEFINE_PER_CPU(unsigned long *, irq_stack_ptr); |
|---|
| 30 | 31 | |
|---|
| 32 | +#ifdef CONFIG_IRQ_PIPELINE |
|---|
| 33 | + |
|---|
| 34 | +asmlinkage int notrace |
|---|
| 35 | +handle_arch_irq_pipelined(struct pt_regs *regs) |
|---|
| 36 | +{ |
|---|
| 37 | + return handle_irq_pipelined(regs); |
|---|
| 38 | +} |
|---|
| 39 | + |
|---|
| 40 | +#endif |
|---|
| 31 | 41 | |
|---|
| 32 | 42 | DECLARE_PER_CPU(unsigned long *, irq_shadow_call_stack_ptr); |
|---|
| 33 | 43 | |
|---|