153 changed files with 527 additions and 143 deletions
@ -0,0 +1,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 */ |
|||
Some files were not shown because too many files changed in this diff
Loading…
Reference in new issue