Searched refs:display_current_task_id (Results 1 – 3 of 3) sorted by relevance
1347 display_current_task_id (void) in display_current_task_id() function1431 display_current_task_id (); in task_command()
8052 (print_ada_task_info, display_current_task_id, task_command_1):
5052 (display_current_task_id): Call task_to_str.