xref: /dflybsd-src/contrib/gdb-7/gdb/ravenscar-thread.h (revision de8e141f24382815c10a4012d209bbbf7abf1112)
1c50c785cSJohn Marino /* Ada Ravenscar thread support.
2c50c785cSJohn Marino 
3*ef5ccd6cSJohn Marino    Copyright (C) 2004-2013 Free Software Foundation, Inc.
4c50c785cSJohn Marino 
5c50c785cSJohn Marino    This file is part of GDB.
6c50c785cSJohn Marino 
7c50c785cSJohn Marino    This program is free software; you can redistribute it and/or modify
8c50c785cSJohn Marino    it under the terms of the GNU General Public License as published by
9c50c785cSJohn Marino    the Free Software Foundation; either version 3 of the License, or
10c50c785cSJohn Marino    (at your option) any later version.
11c50c785cSJohn Marino 
12c50c785cSJohn Marino    This program is distributed in the hope that it will be useful,
13c50c785cSJohn Marino    but WITHOUT ANY WARRANTY; without even the implied warranty of
14c50c785cSJohn Marino    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15c50c785cSJohn Marino    GNU General Public License for more details.
16c50c785cSJohn Marino 
17c50c785cSJohn Marino    You should have received a copy of the GNU General Public License
18c50c785cSJohn Marino    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
19c50c785cSJohn Marino 
20c50c785cSJohn Marino #ifndef RAVENSCAR_THREAD_H
21c50c785cSJohn Marino #define RAVENSCAR_THREAD_H
22c50c785cSJohn Marino 
23c50c785cSJohn Marino /* Architecture-specific hooks.  */
24c50c785cSJohn Marino 
25c50c785cSJohn Marino struct ravenscar_arch_ops
26c50c785cSJohn Marino {
27c50c785cSJohn Marino   void (*to_fetch_registers) (struct regcache *, int);
28c50c785cSJohn Marino   void (*to_store_registers) (struct regcache *, int);
29c50c785cSJohn Marino   void (*to_prepare_to_store) (struct regcache *);
30c50c785cSJohn Marino };
31c50c785cSJohn Marino 
32c50c785cSJohn Marino #endif /* !defined (RAVENSCAR_THREAD_H) */
33