context_restore   103 sys/include/hal.h void	  context_restore(context_t);
context_restore   365 sys/kern/exception.c 	context_restore(&curthread->ctx);