123456789101112131415161718192021 |
- /* SPDX-License-Identifier: GPL-2.0 */
- #ifndef _LINUX_CONTEXT_TRACKING_IRQ_H
- #define _LINUX_CONTEXT_TRACKING_IRQ_H
- #ifdef CONFIG_CONTEXT_TRACKING_IDLE
- void ct_irq_enter(void);
- void ct_irq_exit(void);
- void ct_irq_enter_irqson(void);
- void ct_irq_exit_irqson(void);
- void ct_nmi_enter(void);
- void ct_nmi_exit(void);
- #else
- static inline void ct_irq_enter(void) { }
- static inline void ct_irq_exit(void) { }
- static inline void ct_irq_enter_irqson(void) { }
- static inline void ct_irq_exit_irqson(void) { }
- static inline void ct_nmi_enter(void) { }
- static inline void ct_nmi_exit(void) { }
- #endif
- #endif
|