Add cache-flushing call to STORE_TRAMPOLINE_ENTRY .

diff --git a/v7/src/microcode/cmpintmd/hppa.h b/v7/src/microcode/cmpintmd/hppa.h
index 5b13037f614bd015b2ea7546c05c57a7f790a436..ffe3b23f8953ac0a99a0269061ac6115d20e1978 100644 (file)
--- a/v7/src/microcode/cmpintmd/hppa.h
+++ b/v7/src/microcode/cmpintmd/hppa.h
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/cmpintmd/hppa.h,v 1.14 1990/08/08 20:28:21 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/cmpintmd/hppa.h,v 1.15 1990/08/16 14:45:24 jinx Exp $
 
 Copyright (c) 1989, 1990 Massachusetts Institute of Technology
 
@@ -435,6 +435,7 @@ do {                                                                        \
 
 #define STORE_TRAMPOLINE_ENTRY(entry_address, index)                   \
 {                                                                      \
+  extern void cache_flush_region ();                                   \
   unsigned long *PC;                                                   \
                                                                        \
   PC = ((unsigned long *) (entry_address));                            \
@@ -448,6 +449,7 @@ do {                                                                        \
                                                                        \
   *PC++ = (((unsigned long) 0x341c0000) +                              \
           (((unsigned long) (index)) << 1));                           \
+  cache_flush_region (PC, (TRAMPOLINE_ENTRY_SIZE - 1));                        \
 }
 \f
 /* Execute cache entries.

diff --git a/v8/src/microcode/cmpintmd/hppa.h b/v8/src/microcode/cmpintmd/hppa.h
index 958dc3808a02813935883058380cff2ed3023c2f..e2a9403c723b64b00d46aab4b1e049b09b082af3 100644 (file)
--- a/v8/src/microcode/cmpintmd/hppa.h
+++ b/v8/src/microcode/cmpintmd/hppa.h
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/microcode/cmpintmd/hppa.h,v 1.14 1990/08/08 20:28:21 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/microcode/cmpintmd/hppa.h,v 1.15 1990/08/16 14:45:24 jinx Exp $
 
 Copyright (c) 1989, 1990 Massachusetts Institute of Technology
 
@@ -435,6 +435,7 @@ do {                                                                        \
 
 #define STORE_TRAMPOLINE_ENTRY(entry_address, index)                   \
 {                                                                      \
+  extern void cache_flush_region ();                                   \
   unsigned long *PC;                                                   \
                                                                        \
   PC = ((unsigned long *) (entry_address));                            \
@@ -448,6 +449,7 @@ do {                                                                        \
                                                                        \
   *PC++ = (((unsigned long) 0x341c0000) +                              \
           (((unsigned long) (index)) << 1));                           \
+  cache_flush_region (PC, (TRAMPOLINE_ENTRY_SIZE - 1));                        \
 }
 \f
 /* Execute cache entries.