HelenOS sources

context_restore_arch   50 kernel/generic/include/context.h extern void context_restore_arch(context_t *ctx) __attribute__((noreturn));
context_restore_arch   67 kernel/generic/include/context.h 	context_restore_arch(ctx);
context_restore_arch   81 kernel/generic/include/context.h 		context_restore_arch(other);