===== 13 IGT F15 IRQ ON GTE | BIOS 19951204 System ROM Version 3.0 11/18/96 A
BadVaddr as the group starts: 00000480
Timer 2 IRQ at target n (mode 0010h: IRQ at target, one-shot, pulse, timers.txt:26-30) onto
a cached RTPS 40 NOPs after the mode write, taken by our handler, which returns to EPC.
Kernel's 80000080h: 3C1A0000 275A0C80 03400008 00000000
n: EPC from RTPS in words / word at EPC / SXY2 and FLAG in the handler / timer 2 there /
fifo shifts after the return (0, 1, 2; 9 other). SXY2 old 00030003, new about 00CC0199.
no IRQ: SXY 00020002 00030003 006300C7 FLAG 80020000
20: -11 00000000 00030003 80020000 199 1
21: -10 00000000 00030003 80020000 195 1
22: -9 00000000 00030003 80020000 191 1
23: -8 00000000 00030003 80020000 196 1
24: -7 00000000 00030003 80020000 193 1
25: -6 00000000 00030003 80020000 198 1
26: -5 00000000 00030003 80020000 195 1
27: -4 00000000 00030003 80020000 202 1
28: -3 00000000 00030003 80020000 197 1
29: -2 00000000 00030003 80020000 203 1
30: -1 00000000 00030003 80020000 199 1
31: 0 4A180001 006300C7 80020000 205 2
32: 1 00000000 006300C7 80020000 207 1
33: 2 00000000 006300C7 80020000 206 1
34: 3 00000000 006300C7 80020000 203 1
35: 4 00000000 006300C7 80020000 204 1
36: 5 00000000 006300C7 80020000 205 1
37: 6 00000000 006300C7 80020000 206 1
38: 7 00000000 006300C7 80020000 212 1
39: 8 00000000 006300C7 80020000 213 1
40: 9 00000000 006300C7 80020000 214 1
41: 10 00000000 006300C7 80020000 216 1
42: 11 00000000 006300C7 80020000 211 1
43: 12 00000000 006300C7 80020000 212 1
44: 13 00000000 006300C7 80020000 213 1
45: 14 00000000 006300C7 80020000 214 1
46: 15 00000000 006300C7 80020000 215 1
47: 16 00000000 006300C7 80020000 216 1
48: 17 00000000 006300C7 80020000 217 1
49: 18 00000000 006300C7 80020000 218 1
50: 19 00000000 006300C7 80020000 219 1
51: 20 00000000 006300C7 80020000 220 1
52: 21 00000000 006300C7 80020000 221 1
53: 22 00000000 006300C7 80020000 222 1
54: 23 00000000 006300C7 80020000 223 1
55: 24 00000000 006300C7 80020000 224 1
56: 25 00000000 006300C7 80020000 225 1
57: 26 00000000 006300C7 80020000 226 1
58: 27 00000000 006300C7 80020000 227 1
59: 28 00000000 006300C7 80020000 228 1
Kernel's vector back: 3C1A0000
Done.