]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/ravenscar-thread.c
Remove ptid_get_pid
[thirdparty/binutils-gdb.git] / gdb / ravenscar-thread.c
CommitLineData
036b1ba8
JB
1/* Ada Ravenscar thread support.
2
e2882c85 3 Copyright (C) 2004-2018 Free Software Foundation, Inc.
036b1ba8
JB
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
19
20#include "defs.h"
21#include "gdbcore.h"
22#include "gdbthread.h"
23#include "ada-lang.h"
24#include "target.h"
25#include "inferior.h"
26#include "command.h"
27#include "ravenscar-thread.h"
76727919 28#include "observable.h"
036b1ba8
JB
29#include "gdbcmd.h"
30#include "top.h"
31#include "regcache.h"
77e371c0 32#include "objfiles.h"
036b1ba8 33
9edcc12f
JB
34/* This module provides support for "Ravenscar" tasks (Ada) when
35 debugging on bare-metal targets.
36
37 The typical situation is when debugging a bare-metal target over
38 the remote protocol. In that situation, the system does not know
39 about high-level comcepts such as threads, only about some code
40 running on one or more CPUs. And since the remote protocol does not
41 provide any handling for CPUs, the de facto standard for handling
42 them is to have one thread per CPU, where the thread's ptid has
43 its lwp field set to the CPU number (eg: 1 for the first CPU,
44 2 for the second one, etc). This module will make that assumption.
45
46 This module then creates and maintains the list of threads based
47 on the list of Ada tasks, with one thread per Ada tasks. The convention
48 is that threads corresponding to the CPUs (see assumption above)
49 have a ptid_t of the form (PID, LWP, 0), which threads corresponding
50 to our Ada tasks have a ptid_t of the form (PID, 0, TID) where TID
51 is the Ada task's ID as extracted from Ada runtime information.
52
53 Switching to a given Ada tasks (or its underlying thread) is performed
54 by fetching the registers of that tasks from the memory area where
55 the registers were saved. For any of the other operations, the
56 operation is performed by first finding the CPU on which the task
57 is running, switching to its corresponding ptid, and then performing
58 the operation on that ptid using the target beneath us. */
59
036b1ba8
JB
60/* If non-null, ravenscar task support is enabled. */
61static int ravenscar_task_support = 1;
62
9edcc12f
JB
63/* PTID of the last thread that received an event.
64 This can be useful to determine the associated task that received
65 the event, to make it the current task. */
036b1ba8
JB
66static ptid_t base_ptid;
67
7f39f34a 68static const char running_thread_name[] = "__gnat_running_thread_table";
036b1ba8
JB
69
70static const char known_tasks_name[] = "system__tasking__debug__known_tasks";
6040a59d 71static const char first_task_name[] = "system__tasking__debug__first_task";
036b1ba8 72
0df8b418
MS
73static const char ravenscar_runtime_initializer[] =
74 "system__bb__threads__initialize";
036b1ba8 75
d9f719f1
PA
76static const target_info ravenscar_target_info = {
77 "ravenscar",
78 N_("Ravenscar tasks."),
79 N_("Ravenscar tasks support.")
80};
81
f6ac5f3d
PA
82struct ravenscar_thread_target final : public target_ops
83{
84 ravenscar_thread_target ()
85 { to_stratum = thread_stratum; }
86
d9f719f1
PA
87 const target_info &info () const override
88 { return ravenscar_target_info; }
f6ac5f3d
PA
89
90 ptid_t wait (ptid_t, struct target_waitstatus *, int) override;
91 void resume (ptid_t, int, enum gdb_signal) override;
92
93 void fetch_registers (struct regcache *, int) override;
94 void store_registers (struct regcache *, int) override;
95
96 void prepare_to_store (struct regcache *) override;
97
57810aa7 98 bool stopped_by_sw_breakpoint () override;
f6ac5f3d 99
57810aa7 100 bool stopped_by_hw_breakpoint () override;
f6ac5f3d 101
57810aa7 102 bool stopped_by_watchpoint () override;
f6ac5f3d 103
57810aa7 104 bool stopped_data_address (CORE_ADDR *) override;
f6ac5f3d 105
57810aa7 106 bool thread_alive (ptid_t ptid) override;
f6ac5f3d
PA
107
108 int core_of_thread (ptid_t ptid) override;
109
110 void update_thread_list () override;
111
112 const char *extra_thread_info (struct thread_info *) override;
113
114 const char *pid_to_str (ptid_t) override;
115
116 ptid_t get_ada_task_ptid (long lwp, long thread) override;
117
118 void mourn_inferior () override;
119
57810aa7
PA
120 bool has_all_memory () override { return default_child_has_all_memory (); }
121 bool has_memory () override { return default_child_has_memory (); }
122 bool has_stack () override { return default_child_has_stack (); }
123 bool has_registers () override { return default_child_has_registers (); }
124 bool has_execution (ptid_t ptid) override
f6ac5f3d
PA
125 { return default_child_has_execution (ptid); }
126};
127
128/* This module's target-specific operations. */
129static ravenscar_thread_target ravenscar_ops;
130
9edcc12f 131static ptid_t ravenscar_active_task (int cpu);
036b1ba8
JB
132static void ravenscar_update_inferior_ptid (void);
133static int has_ravenscar_runtime (void);
134static int ravenscar_runtime_initialized (void);
135static void ravenscar_inferior_created (struct target_ops *target,
136 int from_tty);
137
9edcc12f
JB
138/* Return nonzero iff PTID corresponds to a ravenscar task. */
139
140static int
141is_ravenscar_task (ptid_t ptid)
142{
54aa6c67
JB
143 /* By construction, ravenscar tasks have their LWP set to zero.
144 Also make sure that the TID is nonzero, as some remotes, when
145 asked for the list of threads, will return the first thread
146 as having its TID set to zero. For instance, TSIM version
147 2.0.48 for LEON3 sends 'm0' as a reply to the 'qfThreadInfo'
148 query, which the remote protocol layer then treats as a thread
149 whose TID is 0. This is obviously not a ravenscar task. */
150 return ptid_get_lwp (ptid) == 0 && ptid_get_tid (ptid) != 0;
9edcc12f
JB
151}
152
153/* Given PTID, which can be either a ravenscar task or a CPU thread,
154 return which CPU that ptid is running on.
155
156 This assume that PTID is a valid ptid_t. Otherwise, a gdb_assert
157 will be triggered. */
158
159static int
160ravenscar_get_thread_base_cpu (ptid_t ptid)
161{
162 int base_cpu;
163
164 if (is_ravenscar_task (ptid))
165 {
166 struct ada_task_info *task_info = ada_get_task_info_from_ptid (ptid);
167
168 gdb_assert (task_info != NULL);
169 base_cpu = task_info->base_cpu;
170 }
171 else
172 {
173 /* We assume that the LWP of the PTID is equal to the CPU number. */
174 base_cpu = ptid_get_lwp (ptid);
175 }
176
177 return base_cpu;
178}
179
180/* Given a ravenscar task (identified by its ptid_t PTID), return nonzero
181 if this task is the currently active task on the cpu that task is
182 running on.
183
184 In other words, this function determine which CPU this task is
185 currently running on, and then return nonzero if the CPU in question
186 is executing the code for that task. If that's the case, then
187 that task's registers are in the CPU bank. Otherwise, the task
188 is currently suspended, and its registers have been saved in memory. */
189
190static int
191ravenscar_task_is_currently_active (ptid_t ptid)
192{
193 ptid_t active_task_ptid
194 = ravenscar_active_task (ravenscar_get_thread_base_cpu (ptid));
195
196 return ptid_equal (ptid, active_task_ptid);
197}
198
199/* Return the CPU thread (as a ptid_t) on which the given ravenscar
200 task is running.
201
202 This is the thread that corresponds to the CPU on which the task
203 is running. */
204
205static ptid_t
206get_base_thread_from_ravenscar_task (ptid_t ptid)
207{
208 int base_cpu;
209
210 if (!is_ravenscar_task (ptid))
211 return ptid;
212
213 base_cpu = ravenscar_get_thread_base_cpu (ptid);
e99b03dc 214 return ptid_t (ptid.pid (), base_cpu, 0);
9edcc12f
JB
215}
216
036b1ba8
JB
217/* Fetch the ravenscar running thread from target memory and
218 update inferior_ptid accordingly. */
219
220static void
221ravenscar_update_inferior_ptid (void)
222{
9edcc12f
JB
223 int base_cpu;
224
036b1ba8
JB
225 base_ptid = inferior_ptid;
226
9edcc12f
JB
227 gdb_assert (!is_ravenscar_task (inferior_ptid));
228 base_cpu = ravenscar_get_thread_base_cpu (base_ptid);
229
036b1ba8
JB
230 /* If the runtime has not been initialized yet, the inferior_ptid is
231 the only ptid that there is. */
232 if (!ravenscar_runtime_initialized ())
233 return;
234
9edcc12f 235 /* Make sure we set base_ptid before calling ravenscar_active_task
036b1ba8 236 as the latter relies on it. */
9edcc12f 237 inferior_ptid = ravenscar_active_task (base_cpu);
036b1ba8
JB
238 gdb_assert (!ptid_equal (inferior_ptid, null_ptid));
239
240 /* The running thread may not have been added to
e8032dde 241 system.tasking.debug's list yet; so ravenscar_update_thread_list
036b1ba8
JB
242 may not always add it to the thread list. Add it here. */
243 if (!find_thread_ptid (inferior_ptid))
244 add_thread (inferior_ptid);
245}
246
7f39f34a
JB
247/* The Ravenscar Runtime exports a symbol which contains the ID of
248 the thread that is currently running. Try to locate that symbol
249 and return its associated minimal symbol.
250 Return NULL if not found. */
251
3b7344d5 252static struct bound_minimal_symbol
7f39f34a
JB
253get_running_thread_msymbol (void)
254{
3b7344d5 255 struct bound_minimal_symbol msym;
7f39f34a
JB
256
257 msym = lookup_minimal_symbol (running_thread_name, NULL, NULL);
3b7344d5 258 if (!msym.minsym)
7f39f34a
JB
259 /* Older versions of the GNAT runtime were using a different
260 (less ideal) name for the symbol where the active thread ID
261 is stored. If we couldn't find the symbol using the latest
262 name, then try the old one. */
263 msym = lookup_minimal_symbol ("running_thread", NULL, NULL);
264
265 return msym;
266}
267
036b1ba8
JB
268/* Return True if the Ada Ravenscar run-time can be found in the
269 application. */
270
271static int
272has_ravenscar_runtime (void)
273{
3b7344d5 274 struct bound_minimal_symbol msym_ravenscar_runtime_initializer =
036b1ba8 275 lookup_minimal_symbol (ravenscar_runtime_initializer, NULL, NULL);
3b7344d5 276 struct bound_minimal_symbol msym_known_tasks =
036b1ba8 277 lookup_minimal_symbol (known_tasks_name, NULL, NULL);
3b7344d5 278 struct bound_minimal_symbol msym_first_task =
6040a59d 279 lookup_minimal_symbol (first_task_name, NULL, NULL);
3b7344d5
TT
280 struct bound_minimal_symbol msym_running_thread
281 = get_running_thread_msymbol ();
036b1ba8 282
3b7344d5
TT
283 return (msym_ravenscar_runtime_initializer.minsym
284 && (msym_known_tasks.minsym || msym_first_task.minsym)
285 && msym_running_thread.minsym);
036b1ba8
JB
286}
287
288/* Return True if the Ada Ravenscar run-time can be found in the
289 application, and if it has been initialized on target. */
290
291static int
292ravenscar_runtime_initialized (void)
293{
9edcc12f 294 return (!(ptid_equal (ravenscar_active_task (1), null_ptid)));
036b1ba8
JB
295}
296
7f39f34a
JB
297/* Return the ID of the thread that is currently running.
298 Return 0 if the ID could not be determined. */
036b1ba8
JB
299
300static CORE_ADDR
9edcc12f 301get_running_thread_id (int cpu)
036b1ba8 302{
3b7344d5 303 struct bound_minimal_symbol object_msym = get_running_thread_msymbol ();
036b1ba8
JB
304 int object_size;
305 int buf_size;
948f8e3d 306 gdb_byte *buf;
036b1ba8
JB
307 CORE_ADDR object_addr;
308 struct type *builtin_type_void_data_ptr =
f5656ead 309 builtin_type (target_gdbarch ())->builtin_data_ptr;
036b1ba8 310
3b7344d5 311 if (!object_msym.minsym)
036b1ba8
JB
312 return 0;
313
036b1ba8 314 object_size = TYPE_LENGTH (builtin_type_void_data_ptr);
9edcc12f
JB
315 object_addr = (BMSYMBOL_VALUE_ADDRESS (object_msym)
316 + (cpu - 1) * object_size);
036b1ba8 317 buf_size = object_size;
224c3ddb 318 buf = (gdb_byte *) alloca (buf_size);
036b1ba8
JB
319 read_memory (object_addr, buf, buf_size);
320 return extract_typed_address (buf, builtin_type_void_data_ptr);
321}
322
f6ac5f3d
PA
323void
324ravenscar_thread_target::resume (ptid_t ptid, int step, enum gdb_signal siggnal)
036b1ba8 325{
036b1ba8 326 inferior_ptid = base_ptid;
d6ca69cd 327 beneath ()->resume (base_ptid, step, siggnal);
036b1ba8
JB
328}
329
f6ac5f3d
PA
330ptid_t
331ravenscar_thread_target::wait (ptid_t ptid,
332 struct target_waitstatus *status,
333 int options)
036b1ba8 334{
3b1b69bf 335 ptid_t event_ptid;
036b1ba8
JB
336
337 inferior_ptid = base_ptid;
d6ca69cd 338 event_ptid = beneath ()->wait (base_ptid, status, 0);
bed0c243
JB
339 /* Find any new threads that might have been created, and update
340 inferior_ptid to the active thread.
341
342 Only do it if the program is still alive, though. Otherwise,
343 this causes problems when debugging through the remote protocol,
344 because we might try switching threads (and thus sending packets)
345 after the remote has disconnected. */
346 if (status->kind != TARGET_WAITKIND_EXITED
347 && status->kind != TARGET_WAITKIND_SIGNALLED)
348 {
3b1b69bf 349 inferior_ptid = event_ptid;
f6ac5f3d 350 this->update_thread_list ();
bed0c243
JB
351 ravenscar_update_inferior_ptid ();
352 }
036b1ba8
JB
353 return inferior_ptid;
354}
355
356/* Add the thread associated to the given TASK to the thread list
357 (if the thread has already been added, this is a no-op). */
358
359static void
360ravenscar_add_thread (struct ada_task_info *task)
361{
362 if (find_thread_ptid (task->ptid) == NULL)
363 add_thread (task->ptid);
364}
365
f6ac5f3d
PA
366void
367ravenscar_thread_target::update_thread_list ()
036b1ba8 368{
79779fa9 369 ada_build_task_list ();
036b1ba8
JB
370
371 /* Do not clear the thread list before adding the Ada task, to keep
372 the thread that the process stratum has included into it
373 (base_ptid) and the running thread, that may not have been included
374 to system.tasking.debug's list yet. */
375
376 iterate_over_live_ada_tasks (ravenscar_add_thread);
377}
378
379static ptid_t
9edcc12f 380ravenscar_active_task (int cpu)
036b1ba8 381{
9edcc12f 382 CORE_ADDR tid = get_running_thread_id (cpu);
036b1ba8
JB
383
384 if (tid == 0)
385 return null_ptid;
386 else
e99b03dc 387 return ptid_t (base_ptid.pid (), 0, tid);
036b1ba8
JB
388}
389
f6ac5f3d
PA
390const char *
391ravenscar_thread_target::extra_thread_info (thread_info *tp)
036b1ba8
JB
392{
393 return "Ravenscar task";
394}
395
57810aa7 396bool
f6ac5f3d 397ravenscar_thread_target::thread_alive (ptid_t ptid)
036b1ba8
JB
398{
399 /* Ravenscar tasks are non-terminating. */
57810aa7 400 return true;
036b1ba8
JB
401}
402
f6ac5f3d
PA
403const char *
404ravenscar_thread_target::pid_to_str (ptid_t ptid)
036b1ba8
JB
405{
406 static char buf[30];
407
408 snprintf (buf, sizeof (buf), "Thread %#x", (int) ptid_get_tid (ptid));
409 return buf;
410}
411
f6ac5f3d
PA
412void
413ravenscar_thread_target::fetch_registers (struct regcache *regcache, int regnum)
036b1ba8 414{
222312d3 415 ptid_t ptid = regcache->ptid ();
036b1ba8 416
9edcc12f
JB
417 if (ravenscar_runtime_initialized ()
418 && is_ravenscar_task (ptid)
419 && !ravenscar_task_is_currently_active (ptid))
7e35103a 420 {
ac7936df 421 struct gdbarch *gdbarch = regcache->arch ();
7e35103a
JB
422 struct ravenscar_arch_ops *arch_ops
423 = gdbarch_ravenscar_ops (gdbarch);
424
425 arch_ops->to_fetch_registers (regcache, regnum);
426 }
9edcc12f 427 else
d6ca69cd 428 beneath ()->fetch_registers (regcache, regnum);
036b1ba8
JB
429}
430
f6ac5f3d
PA
431void
432ravenscar_thread_target::store_registers (struct regcache *regcache,
433 int regnum)
036b1ba8 434{
222312d3 435 ptid_t ptid = regcache->ptid ();
036b1ba8 436
9edcc12f
JB
437 if (ravenscar_runtime_initialized ()
438 && is_ravenscar_task (ptid)
439 && !ravenscar_task_is_currently_active (ptid))
7e35103a 440 {
ac7936df 441 struct gdbarch *gdbarch = regcache->arch ();
7e35103a
JB
442 struct ravenscar_arch_ops *arch_ops
443 = gdbarch_ravenscar_ops (gdbarch);
444
d6ca69cd 445 beneath ()->store_registers (regcache, regnum);
7e35103a 446 }
9edcc12f 447 else
d6ca69cd 448 beneath ()->store_registers (regcache, regnum);
036b1ba8
JB
449}
450
f6ac5f3d
PA
451void
452ravenscar_thread_target::prepare_to_store (struct regcache *regcache)
036b1ba8 453{
222312d3 454 ptid_t ptid = regcache->ptid ();
036b1ba8 455
9edcc12f
JB
456 if (ravenscar_runtime_initialized ()
457 && is_ravenscar_task (ptid)
458 && !ravenscar_task_is_currently_active (ptid))
7e35103a 459 {
ac7936df 460 struct gdbarch *gdbarch = regcache->arch ();
7e35103a
JB
461 struct ravenscar_arch_ops *arch_ops
462 = gdbarch_ravenscar_ops (gdbarch);
463
d6ca69cd 464 beneath ()->prepare_to_store (regcache);
7e35103a 465 }
9edcc12f 466 else
d6ca69cd 467 beneath ()->prepare_to_store (regcache);
036b1ba8
JB
468}
469
e02544b2
JB
470/* Implement the to_stopped_by_sw_breakpoint target_ops "method". */
471
57810aa7 472bool
f6ac5f3d 473ravenscar_thread_target::stopped_by_sw_breakpoint ()
e02544b2
JB
474{
475 ptid_t saved_ptid = inferior_ptid;
57810aa7 476 bool result;
e02544b2 477
9edcc12f 478 inferior_ptid = get_base_thread_from_ravenscar_task (saved_ptid);
d6ca69cd 479 result = beneath ()->stopped_by_sw_breakpoint ();
e02544b2
JB
480 inferior_ptid = saved_ptid;
481 return result;
482}
483
484/* Implement the to_stopped_by_hw_breakpoint target_ops "method". */
485
57810aa7 486bool
f6ac5f3d 487ravenscar_thread_target::stopped_by_hw_breakpoint ()
e02544b2
JB
488{
489 ptid_t saved_ptid = inferior_ptid;
57810aa7 490 bool result;
e02544b2 491
9edcc12f 492 inferior_ptid = get_base_thread_from_ravenscar_task (saved_ptid);
d6ca69cd 493 result = beneath ()->stopped_by_hw_breakpoint ();
e02544b2
JB
494 inferior_ptid = saved_ptid;
495 return result;
496}
497
498/* Implement the to_stopped_by_watchpoint target_ops "method". */
499
57810aa7 500bool
f6ac5f3d 501ravenscar_thread_target::stopped_by_watchpoint ()
e02544b2
JB
502{
503 ptid_t saved_ptid = inferior_ptid;
57810aa7 504 bool result;
e02544b2 505
9edcc12f 506 inferior_ptid = get_base_thread_from_ravenscar_task (saved_ptid);
d6ca69cd 507 result = beneath ()->stopped_by_watchpoint ();
e02544b2
JB
508 inferior_ptid = saved_ptid;
509 return result;
510}
511
512/* Implement the to_stopped_data_address target_ops "method". */
513
57810aa7 514bool
f6ac5f3d 515ravenscar_thread_target::stopped_data_address (CORE_ADDR *addr_p)
e02544b2
JB
516{
517 ptid_t saved_ptid = inferior_ptid;
57810aa7 518 bool result;
e02544b2 519
9edcc12f 520 inferior_ptid = get_base_thread_from_ravenscar_task (saved_ptid);
d6ca69cd 521 result = beneath ()->stopped_data_address (addr_p);
e02544b2
JB
522 inferior_ptid = saved_ptid;
523 return result;
524}
525
f6ac5f3d
PA
526void
527ravenscar_thread_target::mourn_inferior ()
036b1ba8 528{
036b1ba8 529 base_ptid = null_ptid;
d6ca69cd 530 beneath ()->mourn_inferior ();
036b1ba8
JB
531 unpush_target (&ravenscar_ops);
532}
533
e02544b2
JB
534/* Implement the to_core_of_thread target_ops "method". */
535
f6ac5f3d
PA
536int
537ravenscar_thread_target::core_of_thread (ptid_t ptid)
e02544b2
JB
538{
539 ptid_t saved_ptid = inferior_ptid;
e02544b2
JB
540 int result;
541
9edcc12f 542 inferior_ptid = get_base_thread_from_ravenscar_task (saved_ptid);
d6ca69cd 543 result = beneath ()->core_of_thread (inferior_ptid);
e02544b2
JB
544 inferior_ptid = saved_ptid;
545 return result;
546}
547
036b1ba8
JB
548/* Observer on inferior_created: push ravenscar thread stratum if needed. */
549
550static void
551ravenscar_inferior_created (struct target_ops *target, int from_tty)
552{
cf3fbed4 553 const char *err_msg;
7e35103a
JB
554
555 if (!ravenscar_task_support
7dc7c195 556 || gdbarch_ravenscar_ops (target_gdbarch ()) == NULL
7e35103a 557 || !has_ravenscar_runtime ())
25abf4de
JB
558 return;
559
cf3fbed4
JB
560 err_msg = ada_get_tcb_types_info ();
561 if (err_msg != NULL)
562 {
8f6cb6c3 563 warning (_("%s. Task/thread support disabled."), err_msg);
cf3fbed4
JB
564 return;
565 }
566
25abf4de
JB
567 ravenscar_update_inferior_ptid ();
568 push_target (&ravenscar_ops);
036b1ba8
JB
569}
570
f6ac5f3d
PA
571ptid_t
572ravenscar_thread_target::get_ada_task_ptid (long lwp, long thread)
036b1ba8 573{
e99b03dc 574 return ptid_t (base_ptid.pid (), 0, thread);
036b1ba8
JB
575}
576
036b1ba8
JB
577/* Command-list for the "set/show ravenscar" prefix command. */
578static struct cmd_list_element *set_ravenscar_list;
579static struct cmd_list_element *show_ravenscar_list;
580
581/* Implement the "set ravenscar" prefix command. */
582
583static void
981a3fb3 584set_ravenscar_command (const char *arg, int from_tty)
036b1ba8
JB
585{
586 printf_unfiltered (_(\
587"\"set ravenscar\" must be followed by the name of a setting.\n"));
635c7e8a 588 help_list (set_ravenscar_list, "set ravenscar ", all_commands, gdb_stdout);
036b1ba8
JB
589}
590
591/* Implement the "show ravenscar" prefix command. */
592
593static void
981a3fb3 594show_ravenscar_command (const char *args, int from_tty)
036b1ba8
JB
595{
596 cmd_show_list (show_ravenscar_list, from_tty, "");
597}
598
599/* Implement the "show ravenscar task-switching" command. */
600
601static void
602show_ravenscar_task_switching_command (struct ui_file *file, int from_tty,
603 struct cmd_list_element *c,
604 const char *value)
605{
606 if (ravenscar_task_support)
607 fprintf_filtered (file, _("\
b64edec4 608Support for Ravenscar task/thread switching is enabled\n"));
036b1ba8
JB
609 else
610 fprintf_filtered (file, _("\
b64edec4 611Support for Ravenscar task/thread switching is disabled\n"));
036b1ba8
JB
612}
613
614/* Module startup initialization function, automagically called by
615 init.c. */
616
617void
618_initialize_ravenscar (void)
619{
036b1ba8
JB
620 base_ptid = null_ptid;
621
622 /* Notice when the inferior is created in order to push the
623 ravenscar ops if needed. */
76727919 624 gdb::observers::inferior_created.attach (ravenscar_inferior_created);
036b1ba8 625
036b1ba8
JB
626 add_prefix_cmd ("ravenscar", no_class, set_ravenscar_command,
627 _("Prefix command for changing Ravenscar-specific settings"),
628 &set_ravenscar_list, "set ravenscar ", 0, &setlist);
629
630 add_prefix_cmd ("ravenscar", no_class, show_ravenscar_command,
631 _("Prefix command for showing Ravenscar-specific settings"),
04f9d4d0 632 &show_ravenscar_list, "show ravenscar ", 0, &showlist);
036b1ba8
JB
633
634 add_setshow_boolean_cmd ("task-switching", class_obscure,
635 &ravenscar_task_support, _("\
636Enable or disable support for GNAT Ravenscar tasks"), _("\
637Show whether support for GNAT Ravenscar tasks is enabled"),
638 _("\
639Enable or disable support for task/thread switching with the GNAT\n\
640Ravenscar run-time library for bareboard configuration."),
641 NULL, show_ravenscar_task_switching_command,
642 &set_ravenscar_list, &show_ravenscar_list);
643}