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
6void ct_irq_enter(void);
7void ct_irq_exit(void);
8void ct_irq_enter_irqson(void);
9void ct_irq_exit_irqson(void);
10void ct_nmi_enter(void);
11void ct_nmi_exit(void);
12#else
13static __always_inline void ct_irq_enter(void) { }
14static __always_inline void ct_irq_exit(void) { }
15static inline void ct_irq_enter_irqson(void) { }
16static inline void ct_irq_exit_irqson(void) { }
17static __always_inline void ct_nmi_enter(void) { }
18static __always_inline void ct_nmi_exit(void) { }
19#endif
20
21#endif
22