context_tracking_irq.h

 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