* remote.c: Add comment explaining why dcache is disabled.

	(remote_fetch_word, remote_store_word): Make static and #if 0.
	They are not called from anywhere.

diff --git a/gdb/remote.c b/gdb/remote.c
index 43d0f3327ff716abc9a525faeb2a55e87661b78d..6041b4475604742d72a9ce232ac87ef6e8715504 100644 (file)
--- a/gdb/remote.c
+++ b/gdb/remote.c
@@ -563,10 +563,21 @@ remote_store_registers (regno)
   remote_send (buf);
 }
 
+#if 0
+
+/* Use of the data cache is disabled because it loses for looking at
+   and changing hardware I/O ports and the like.  Accepting `volatile'
+   would perhaps be one way to fix it, but a better way which would
+   win for more cases would be to use the executable file for the text
+   segment, like the `icache' code below but done cleanly (in some
+   target-independent place, perhaps in target_xfer_memory, perhaps
+   based on assigning each target a speed or perhaps by some simpler
+   mechanism).  */
+
 /* Read a word from remote address ADDR and return it.
    This goes through the data cache.  */
 
-int
+static int
 remote_fetch_word (addr)
      CORE_ADDR addr;
 {
@@ -589,14 +600,14 @@ remote_fetch_word (addr)
 /* Write a word WORD into remote address ADDR.
    This goes through the data cache.  */
 
-void
+static void
 remote_store_word (addr, word)
      CORE_ADDR addr;
      int word;
 {
   dcache_poke (remote_dcache, addr, word);
 }
-
+#endif /* 0 */
 \f
 /* Write memory data directly to the remote machine.
    This does not inform the data cache; the data cache uses this.