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