Index: kernel/generic/include/context.h
===================================================================
--- kernel/generic/include/context.h	(revision ac47b7c2b6e75a9b9aa60b443fca9a151cf89e5c)
+++ kernel/generic/include/context.h	(revision ec8b0dac0a89d85fb1256e7e6a702141cc630506)
@@ -46,5 +46,5 @@
 #endif /* context_set */
 
-extern int context_save_arch(context_t *c);
+extern int context_save_arch(context_t *c) __attribute__ ((returns_twice));
 extern void context_restore_arch(context_t *c) __attribute__ ((noreturn));