void __attribute__((noinline)) __attribute__((noreturn)) arch_context_mcontext_restore(void);