Lines Matching full:switching
1212 // switching to.1226 // If the process we are switching to does not exist, then1239 printf("switching to p%d\n", current_->pid);