| .. | .. |
|---|
| 18 | 18 | |
|---|
| 19 | 19 | /* Doesn't want IPI, wait for tick: */ |
|---|
| 20 | 20 | #define IRQ_WORK_LAZY BIT(2) |
|---|
| 21 | +/* Run hard IRQ context, even on RT */ |
|---|
| 22 | +#define IRQ_WORK_HARD_IRQ BIT(3) |
|---|
| 21 | 23 | |
|---|
| 22 | 24 | #define IRQ_WORK_CLAIMED (IRQ_WORK_PENDING | IRQ_WORK_BUSY) |
|---|
| 23 | 25 | |
|---|
| .. | .. |
|---|
| 52 | 54 | static inline void irq_work_run(void) { } |
|---|
| 53 | 55 | #endif |
|---|
| 54 | 56 | |
|---|
| 57 | +#if defined(CONFIG_IRQ_WORK) && defined(CONFIG_PREEMPT_RT_FULL) |
|---|
| 58 | +void irq_work_tick_soft(void); |
|---|
| 59 | +#else |
|---|
| 60 | +static inline void irq_work_tick_soft(void) { } |
|---|
| 61 | +#endif |
|---|
| 62 | + |
|---|
| 55 | 63 | #endif /* _LINUX_IRQ_WORK_H */ |
|---|