Searched defs:taskno (Results 1 – 1 of 1) sorted by relevance
1006 int taskno, nb_tasks; in print_ada_task_info() local1156 const int taskno = value_as_long (parse_and_eval (taskno_str)); in info_task() local1275 const int taskno = value_as_long (parse_and_eval (taskno_str)); in task_command_1() local