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

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 8DC20000, memory after 11111111
3 isolated lw, sw 22222222, lw, sw back, uncached code: cache word before 8DC20000, read 22222222, memory after 11111111
Done.