aboutsummaryrefslogtreecommitdiff
path: root/gdb/dcache.h
diff options
context:
space:
mode:
authorKevin Buettner <kevinb@redhat.com>2000-05-28 01:12:42 +0000
committerKevin Buettner <kevinb@redhat.com>2000-05-28 01:12:42 +0000
commita14ed312fd86dd2c862847230931451da2e49942 (patch)
treee7a00cec4f6ebd4b2d5dd59695c802ef6997d9da /gdb/dcache.h
parent3c07fb76e69e648d58d507fdb05cf8d461d87dcb (diff)
downloadgdb-a14ed312fd86dd2c862847230931451da2e49942.zip
gdb-a14ed312fd86dd2c862847230931451da2e49942.tar.gz
gdb-a14ed312fd86dd2c862847230931451da2e49942.tar.bz2
PARAMS removal.
Diffstat (limited to 'gdb/dcache.h')
-rw-r--r--gdb/dcache.h13
1 files changed, 7 insertions, 6 deletions
diff --git a/gdb/dcache.h b/gdb/dcache.h
index 78d17ef..ef9465a 100644
--- a/gdb/dcache.h
+++ b/gdb/dcache.h
@@ -31,23 +31,24 @@ typedef struct dcache_struct DCACHE;
/* Using the data cache DCACHE return the contents of the word at
address ADDR in the remote machine. */
-int dcache_fetch PARAMS ((DCACHE * dcache, CORE_ADDR addr));
+int dcache_fetch (DCACHE * dcache, CORE_ADDR addr);
/* Flush DCACHE. */
-void dcache_flush PARAMS ((DCACHE * dcache));
+void dcache_flush (DCACHE * dcache);
/* Initialize DCACHE. */
-DCACHE *dcache_init PARAMS ((memxferfunc reading, memxferfunc writing));
+DCACHE *dcache_init (memxferfunc reading, memxferfunc writing);
/* Write the word at ADDR both in the data cache and in the remote machine. */
-int dcache_poke PARAMS ((DCACHE * dcache, CORE_ADDR addr, int data));
+int dcache_poke (DCACHE * dcache, CORE_ADDR addr, int data);
/* Simple to call from <remote>_xfer_memory */
-int dcache_xfer_memory PARAMS ((DCACHE * cache, CORE_ADDR mem, char *my, int len, int should_write));
+int dcache_xfer_memory (DCACHE * cache, CORE_ADDR mem, char *my, int len,
+ int should_write);
/* Write the bytes at ADDR into the data cache and the remote machine. */
-int dcache_poke_block PARAMS ((DCACHE * cache, CORE_ADDR mem, char *my, int len));
+int dcache_poke_block (DCACHE * cache, CORE_ADDR mem, char *my, int len);
/* Turn dcache state on or off */
void set_dcache_state (int);