GDB (API): /home/stan/gdb/src/gdb/dcache.h Source File

Go to the documentation of this file.
00001 /* Declarations for caching.  Typically used by remote back ends for
00002    caching remote memory.
00003 
00004    Copyright (C) 1992-2013 Free Software Foundation, Inc.
00005 
00006    This file is part of GDB.
00007 
00008    This program is free software; you can redistribute it and/or modify
00009    it under the terms of the GNU General Public License as published by
00010    the Free Software Foundation; either version 3 of the License, or
00011    (at your option) any later version.
00012 
00013    This program is distributed in the hope that it will be useful,
00014    but WITHOUT ANY WARRANTY; without even the implied warranty of
00015    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00016    GNU General Public License for more details.
00017 
00018    You should have received a copy of the GNU General Public License
00019    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
00020 
00021 #ifndef DCACHE_H
00022 #define DCACHE_H
00023 
00024 typedef struct dcache_struct DCACHE;
00025 
00026 /* Invalidate DCACHE.  */
00027 void dcache_invalidate (DCACHE *dcache);
00028 
00029 /* Initialize DCACHE.  */
00030 DCACHE *dcache_init (void);
00031 
00032 /* Free a DCACHE.  */
00033 void dcache_free (DCACHE *);
00034 
00035 /* Simple to call from <remote>_xfer_memory.  */
00036 
00037 int dcache_xfer_memory (struct target_ops *ops, DCACHE *cache, CORE_ADDR mem,
00038                         gdb_byte *my, int len, int should_write);
00039 
00040 void dcache_update (DCACHE *dcache, CORE_ADDR memaddr, gdb_byte *myaddr,
00041                     int len);
00042 
00043 #endif /* DCACHE_H */