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