Make setthetime() static per the prototype.
[dragonfly.git] / contrib / gdb / gdb / dcache.h
1 /* Declarations for caching.  Typically used by remote back ends for
2    caching remote memory.
3
4    Copyright 1992, 1993 Free Software Foundation, Inc.
5
6 This file is part of GDB.
7
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
21
22 #ifndef DCACHE_H
23 #define DCACHE_H
24
25 typedef int (*memxferfunc) PARAMS((CORE_ADDR memaddr,
26                              char *myaddr,
27                              int len));
28
29 typedef struct dcache_struct DCACHE;
30
31 /* Using the data cache DCACHE return the contents of the word at
32    address ADDR in the remote machine.  */
33 int dcache_fetch PARAMS((DCACHE *dcache, CORE_ADDR addr));
34
35 /* Flush DCACHE. */
36 void dcache_flush PARAMS((DCACHE *dcache));
37
38 /* Initialize DCACHE. */
39 DCACHE *dcache_init PARAMS((memxferfunc reading, memxferfunc writing));
40
41 /* Write the word at ADDR both in the data cache and in the remote machine.  */
42 int dcache_poke PARAMS((DCACHE *dcache, CORE_ADDR addr, int data));
43
44 /* Simple to call from <remote>_xfer_memory */
45
46 int dcache_xfer_memory PARAMS((DCACHE *cache, CORE_ADDR mem, char *my, int len, int should_write));
47
48 /* Write the bytes at ADDR into the data cache and the remote machine. */
49 int dcache_poke_block PARAMS((DCACHE *cache, CORE_ADDR mem, char* my, int len));
50 #endif /* DCACHE_H */