* build/ALPHA_SE/tests/fast/quick/20.eio-short/alpha/eio/simple-atomic
FAILED!
* build/ALPHA_SE/tests/fast/quick/20.eio-short/alpha/eio/simple-timing
FAILED!
* build/ALPHA_SE/tests/fast/quick/30.eio-mp/alpha/eio/simple-atomic-mp
FAILED!
*
Hi Nilay,
I don't think we want to replace the implicit Address parameter inside the
state machines with the CacheEntry parameter, but we might want to supplement
the state machine functions to include both. I don't think we can replace the
Address parameter because certain transitions within