Commit | Line | Data |
---|---|---|
4e052eda | 1 | /* Cache and manage the values of registers for GDB, the GNU debugger. |
b6ba6518 | 2 | Copyright 1986, 1987, 1989, 1991, 1994, 1995, 1996, 1998, 2000, 2001 |
4e052eda AC |
3 | Free Software Foundation, Inc. |
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 2 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, write to the Free Software | |
19 | Foundation, Inc., 59 Temple Place - Suite 330, | |
20 | Boston, MA 02111-1307, USA. */ | |
21 | ||
22 | #ifndef REGCACHE_H | |
23 | #define REGCACHE_H | |
24 | ||
25 | /* Character array containing an image of the inferior programs' | |
26 | registers. */ | |
27 | ||
28 | extern char *registers; | |
29 | ||
30 | /* Character array containing the current state of each register | |
97900206 | 31 | (unavailable<0, invalid=0, valid>0). */ |
4e052eda AC |
32 | |
33 | extern signed char *register_valid; | |
34 | ||
35 | extern int register_cached (int regnum); | |
36 | ||
37 | extern void set_register_cached (int regnum, int state); | |
38 | ||
39 | extern void register_changed (int regnum); | |
40 | ||
41 | extern char *register_buffer (int regnum); | |
42 | ||
43 | extern void registers_changed (void); | |
44 | ||
45 | extern void registers_fetched (void); | |
46 | ||
47 | extern void read_register_bytes (int regbyte, char *myaddr, int len); | |
48 | ||
49 | extern void read_register_gen (int regnum, char *myaddr); | |
50 | ||
51 | extern void write_register_gen (int regnum, char *myaddr); | |
52 | ||
53 | extern void write_register_bytes (int regbyte, char *myaddr, int len); | |
54 | ||
55 | /* Rename to read_unsigned_register()? */ | |
56 | extern ULONGEST read_register (int regnum); | |
57 | ||
58 | /* Rename to read_unsigned_register_pid()? */ | |
59 | extern ULONGEST read_register_pid (int regnum, int pid); | |
60 | ||
61 | extern LONGEST read_signed_register (int regnum); | |
62 | ||
63 | extern LONGEST read_signed_register_pid (int regnum, int pid); | |
64 | ||
65 | extern void write_register (int regnum, LONGEST val); | |
66 | ||
67 | extern void write_register_pid (int regnum, CORE_ADDR val, int pid); | |
68 | ||
69 | extern void supply_register (int regnum, char *val); | |
70 | ||
71 | #endif /* REGCACHE_H */ |