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