context_switch    101 sys/include/hal.h void	  context_switch(context_t, context_t);
context_switch    246 sys/kern/sched.c 	context_switch(&prev->ctx, &next->ctx);