22 static inline void user_enter(void)  in user_enter()  argument
28 static inline void user_exit(void)  in user_exit()  argument
34 static inline enum ctx_state exception_enter(void)  in exception_enter()  argument
64 static inline enum ctx_state ct_state(void)  in ct_state()  argument
70 static inline void user_enter(void) { }  in user_enter()  argument
71 static inline void user_exit(void) { }  in user_exit()  argument
72 static inline enum ctx_state exception_enter(void) { return 0; }  in exception_enter()  argument
74 static inline enum ctx_state ct_state(void) { return CONTEXT_DISABLED; }  in ct_state()  argument
82 static inline void context_tracking_init(void) { }  in context_tracking_init()  argument
87 static inline void guest_enter(void)  in guest_enter()  argument
98 static inline void guest_exit(void)  in guest_exit()  argument
110 static inline void guest_enter(void)  in guest_enter()  argument
121 static inline void guest_exit(void)  in guest_exit()  argument