23 static inline void user_enter(void)  in user_enter()  argument
29 static inline void user_exit(void)  in user_exit()  argument
36 static inline void user_enter_irqoff(void)  in user_enter_irqoff()  argument
42 static inline void user_exit_irqoff(void)  in user_exit_irqoff()  argument
48 static inline enum ctx_state exception_enter(void)  in exception_enter()  argument
78 static inline enum ctx_state ct_state(void)  in ct_state()  argument
84 static inline void user_enter(void) { }  in user_enter()  argument
85 static inline void user_exit(void) { }  in user_exit()  argument
86 static inline void user_enter_irqoff(void) { }  in user_enter_irqoff()  argument
87 static inline void user_exit_irqoff(void) { }  in user_exit_irqoff()  argument
88 static inline enum ctx_state exception_enter(void) { return 0; }  in exception_enter()  argument
90 static inline enum ctx_state ct_state(void) { return CONTEXT_DISABLED; }  in ct_state()  argument
98 static inline void context_tracking_init(void) { }  in context_tracking_init()  argument
104 static inline void guest_enter_irqoff(void)  in guest_enter_irqoff()  argument
125 static inline void guest_exit_irqoff(void)  in guest_exit_irqoff()  argument
137 static inline void guest_enter_irqoff(void)  in guest_enter_irqoff()  argument
149 static inline void guest_exit_irqoff(void)  in guest_exit_irqoff()  argument
157 static inline void guest_enter(void)  in guest_enter()  argument
166 static inline void guest_exit(void)  in guest_exit()  argument