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 inline void ct_irq_enter(void) { }
14static inline void ct_irq_exit(void) { }
15static inline void ct_irq_enter_irqson(void) { }
16static inline void ct_irq_exit_irqson(void) { }
17static inline void ct_nmi_enter(void) { }
18static inline void ct_nmi_exit(void) { }
19#endif
20
21#endif
22