1 #ifndef _LINUX_CONTEXT_TRACKING_H
2 #define _LINUX_CONTEXT_TRACKING_H
3 
4 #ifdef CONFIG_CONTEXT_TRACKING
5 #include <linux/sched.h>
6 
7 extern void user_enter(void);
8 extern void user_exit(void);
9 extern void context_tracking_task_switch(struct task_struct *prev,
10 					 struct task_struct *next);
11 #else
12 static inline void user_enter(void) { }
13 static inline void user_exit(void) { }
14 static inline void context_tracking_task_switch(struct task_struct *prev,
15 						struct task_struct *next) { }
16 #endif /* !CONFIG_CONTEXT_TRACKING */
17 
18 #endif
19