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:39:55 +0000 (23:39 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 17 Aug 1990 23:39:55 +0000 (23:39 +0000)
commitf8630a727a78a90686329943eccb7c8c27b05c04
treec7386ba2a5405a7638454f0cb09ca3f84f4f022b
parent8b4b73622e1a473a3aab0614470717f2a44cae43
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/hppa.h
v8/src/microcode/cmpintmd/hppa.h