Searched refs:ravenscar_task_support (Results 1 – 1 of 1) sorted by relevance
35 static int ravenscar_task_support = 1; variable341 if (!ravenscar_task_support in ravenscar_inferior_created()412 if (ravenscar_task_support) in show_ravenscar_task_switching_command()447 &ravenscar_task_support, _("\ in _initialize_ravenscar()