sledge/runtime/include/arch_context.h

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