1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
/* Cache and manage the values of registers for GDB, the GNU debugger.
Copyright 1986, 87, 89, 91, 94, 95, 96, 1998, 2000, 2001
Free Software Foundation, Inc.
This file is part of GDB.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */
#ifndef REGCACHE_H
#define REGCACHE_H
/* Character array containing an image of the inferior programs'
registers. */
extern char *registers;
/* Character array containing the current state of each register
(unavailable<0, valid=0, invalid>0). */
extern signed char *register_valid;
extern int register_cached (int regnum);
extern void set_register_cached (int regnum, int state);
extern void register_changed (int regnum);
extern char *register_buffer (int regnum);
extern void registers_changed (void);
extern void registers_fetched (void);
extern void read_register_bytes (int regbyte, char *myaddr, int len);
extern void read_register_gen (int regnum, char *myaddr);
extern void write_register_gen (int regnum, char *myaddr);
extern void write_register_bytes (int regbyte, char *myaddr, int len);
/* Rename to read_unsigned_register()? */
extern ULONGEST read_register (int regnum);
/* Rename to read_unsigned_register_pid()? */
extern ULONGEST read_register_pid (int regnum, int pid);
extern LONGEST read_signed_register (int regnum);
extern LONGEST read_signed_register_pid (int regnum, int pid);
extern void write_register (int regnum, LONGEST val);
extern void write_register_pid (int regnum, CORE_ADDR val, int pid);
extern void supply_register (int regnum, char *val);
#endif /* REGCACHE_H */
|
