context_save      102 sys/include/hal.h void	  context_save(context_t);
context_save      346 sys/kern/exception.c 		context_save(&curthread->ctx);