===== 14 ISO CPU CACHE ISOLATE | BIOS 19951204 System ROM Version 3.0 11/18/96 A
BadVaddr as the group starts: 80017302

cpu/cache isolation: SR bit 16 set, memory holds 11111111
1 isolate and restore, uncached code: cache word before DEADBEEF, read DEADBEEF, memory after 11111111
2 isolated lw, uncached code: cache word before DEADBEEF, read 10400026, memory after 11111111
3 isolated lw, sw 22222222, lw, sw back, uncached code: cache word before 10400026, read 22222222, memory after 11111111
4 the same from cached code: