-int dcache_xfer_memory PARAMS((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));