===== 11 TIO F15 TWO IO LOADS | BIOS 19951204 System ROM Version 3.0 11/18/96 A
BadVaddr as the group starts: 00000480
Two timer 1 lw back to back (timer 1 at the system clock), the first at word w of a cache
line: the two counts read, cold (FlushCache) / warm, three runs (q24; 07JBD 4/4/11/4).
word 0: cold 16290 16294 58648 58652 35471 35475 / warm 43518 43522 47754 47758 52007 52011
word 1: cold 7586 7597 49499 49510 26328 26339 / warm 34385 34389 38620 38624 42864 42868
word 2: cold 63998 64002 40828 40832 17662 17666 / warm 25715 25719 29960 29964 34208 34212
word 3: cold 55344 55348 32169 32173 9010 9014 / warm 16603 16607 20852 20856 25110 25114
Done.