context_dump      104 sys/include/hal.h void	  context_dump(context_t);
context_dump      185 sys/kern/debug.c 		context_dump(&curthread->ctx);