20 static inline void user_enter(void)  in user_enter()  argument
26 static inline void user_exit(void)  in user_exit()  argument
32 static inline enum ctx_state exception_enter(void)  in exception_enter()  argument
61 static inline void user_enter(void) { }  in user_enter()  argument
62 static inline void user_exit(void) { }  in user_exit()  argument
63 static inline enum ctx_state exception_enter(void) { return 0; }  in exception_enter()  argument
73 static inline void context_tracking_init(void) { }  in context_tracking_init()  argument
78 static inline void guest_enter(void)  in guest_enter()  argument
89 static inline void guest_exit(void)  in guest_exit()  argument
101 static inline void guest_enter(void)  in guest_enter()  argument
112 static inline void guest_exit(void)  in guest_exit()  argument