156   Task_token* token = t->is_runnable();  in add_to_queue()  local
157   if (token != NULL)  in add_to_queue()
160 	token->add_waiting_front(t);  in add_to_queue()
162 	token->add_waiting(t);  in add_to_queue()
220       Task_token* token = t->is_runnable();  in find_runnable_in_list()  local
222       if (token == NULL)  in find_runnable_in_list()
225       token->add_waiting(t);  in find_runnable_in_list()
399   Task_token* token = t->is_runnable();  in return_or_queue()  local
401   if (token != NULL)  in return_or_queue()
403       token->add_waiting(t);  in return_or_queue()
452       Task_token* token = *p;  in release_locks()  local
453       if (token->is_blocker())  in release_locks()
455 	  if (token->remove_blocker())  in release_locks()
460 	      while ((t = token->remove_first_waiting()) != NULL)  in release_locks()
469 	  token->remove_writer(t);  in release_locks()
477 	  while ((t = token->remove_first_waiting()) != NULL)  in release_locks()
515 Workqueue::add_blocker(Task_token* token)  in add_blocker()  argument
518   token->add_blocker();  in add_blocker()