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:28:46 +0000 (23:28 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 17 Aug 1990 23:28:46 +0000 (23:28 +0000)
commit8b4b73622e1a473a3aab0614470717f2a44cae43
tree803af381441aa3aa389c7b82f50a030fb09aeec2
parent71da6b8a9a1bafe940ec76b7738b6873b64d78c7
Split cache flusing code from STORE_EXECUTE_CACHE_ADDRESS, since it is
not needed at GC time.

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