1 #ifndef _LINUX_CONTEXT_TRACKING_H
2 #define _LINUX_CONTEXT_TRACKING_H
4 #ifdef CONFIG_CONTEXT_TRACKING
5 #include <linux/sched.h>
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);
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 */