1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_CONTEXT_TRACKING_IRQ_H
3 #define _LINUX_CONTEXT_TRACKING_IRQ_H
4 
5 #ifdef CONFIG_CONTEXT_TRACKING_IDLE
6 void ct_irq_enter(void);
7 void ct_irq_exit(void);
8 void ct_irq_enter_irqson(void);
9 void ct_irq_exit_irqson(void);
10 void ct_nmi_enter(void);
11 void ct_nmi_exit(void);
12 #else
ct_irq_enter(void)13 static inline void ct_irq_enter(void) { }
ct_irq_exit(void)14 static inline void ct_irq_exit(void) { }
ct_irq_enter_irqson(void)15 static inline void ct_irq_enter_irqson(void) { }
ct_irq_exit_irqson(void)16 static inline void ct_irq_exit_irqson(void) { }
ct_nmi_enter(void)17 static inline void ct_nmi_enter(void) { }
ct_nmi_exit(void)18 static inline void ct_nmi_exit(void) { }
19 #endif
20 
21 #endif
22