context_save_arch 49 kernel/generic/include/context.h extern int context_save_arch(context_t *ctx) __attribute__((returns_twice)); context_save_arch 80 kernel/generic/include/context.h if (context_save_arch(self))