Fix cache-flushing bugs manifested on the MIPS R4000:
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sat, 8 Jan 1994 16:57:21 +0000 (16:57 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sat, 8 Jan 1994 16:57:21 +0000 (16:57 +0000)
commitf7ab1faf69e74b91c270744f52d8431b7cc3c3ad
treef4402a13bd3b16e9786fc44ea914fc3b4d194588
parent0abde16fada8671acc4adc2ff42cfdd47636550f
Fix cache-flushing bugs manifested on the MIPS R4000:

- trampoline entries must be flushed after being written.
- The R4000 has write-back caches, so FLUSH_I_CACHE_REGION and friends
  must also flush the D cache.
- PUSH_C_CACHE_REGION != FLUSH_I_CACHE_REGION.
v7/src/microcode/cmpintmd/mips.h