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 6 void ct_irq_enter(void); 7 void ct_irq_exit(void); 8 void ct_irq_enter_irqson(void); 9 void ct_irq_exit_irqson(void); 10 void ct_nmi_enter(void); 11 void ct_nmi_exit(void); 12 #else 13 static inline void ct_irq_enter(void) { } 14 static inline void ct_irq_exit(void) { } 15 static inline void ct_irq_enter_irqson(void) { } 16 static inline void ct_irq_exit_irqson(void) { } 17 static inline void ct_nmi_enter(void) { } 18 static inline void ct_nmi_exit(void) { } 19 #endif 20 21 #endif 22
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.