Split cache flusing code from STORE_EXECUTE_CACHE_ADDRESS, since it is
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 17 Aug 1990 23:40:55 +0000 (23:40 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 17 Aug 1990 23:40:55 +0000 (23:40 +0000)
commit817e408317b5deaa7b5dd8f1c9557864d14cbbf8
tree5675b69d9c686a75f81cc5ccb8206db2d64b61b7
parentf8630a727a78a90686329943eccb7c8c27b05c04
Split cache flusing code from STORE_EXECUTE_CACHE_ADDRESS, since it is
not needed at GC time because the whole cache is flushed immediately
afterwards.

The flushing code is now in FLUSH_I_CACHE_REGION, used explicitly by
store_uuo_link in cmpint.c
v7/src/microcode/cmpint.c
v8/src/microcode/cmpint.c