25 static inline void user_enter(void)  in user_enter()  argument
31 static inline void user_exit(void)  in user_exit()  argument
38 static __always_inline void user_enter_irqoff(void)  in user_enter_irqoff()  argument
44 static __always_inline void user_exit_irqoff(void)  in user_exit_irqoff()  argument
50 static inline enum ctx_state exception_enter(void)  in exception_enter()  argument
80 static __always_inline enum ctx_state ct_state(void)  in ct_state()  argument
86 static inline void user_enter(void) { }  in user_enter()  argument
87 static inline void user_exit(void) { }  in user_exit()  argument
88 static inline void user_enter_irqoff(void) { }  in user_enter_irqoff()  argument
89 static inline void user_exit_irqoff(void) { }  in user_exit_irqoff()  argument
90 static inline enum ctx_state exception_enter(void) { return 0; }  in exception_enter()  argument
92 static inline enum ctx_state ct_state(void) { return CONTEXT_DISABLED; }  in ct_state()  argument
100 static inline void context_tracking_init(void) { }  in context_tracking_init()  argument
106 static __always_inline void guest_enter_irqoff(void)  in guest_enter_irqoff()  argument
132 static __always_inline void guest_exit_irqoff(void)  in guest_exit_irqoff()  argument
146 static __always_inline void guest_enter_irqoff(void)  in guest_enter_irqoff()  argument
160 static __always_inline void guest_exit_irqoff(void)  in guest_exit_irqoff()  argument
170 static inline void guest_exit(void)  in guest_exit()  argument