Index: kernel/generic/include/context.h
===================================================================
--- kernel/generic/include/context.h	(revision ac47b7c2b6e75a9b9aa60b443fca9a151cf89e5c)
+++ kernel/generic/include/context.h	(revision 450448de4bbf8a458fd2ba9f7c70b64c67a5f4b0)
@@ -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));