===== 11 TIQ T3 IRQ RULES | BIOS 19951204 System ROM Version 3.0 11/18/96 A
BadVaddr as the group starts: 800154CE
One-shot (timers.txt:41-44): timer n at the system clock, mode 0018h (reset, IRQ at
target, one-shot, pulse), target 0200h. IRQs in 20000 cycles after the mode write,
then after a target write (same value), a counter write (0), a mode read, and a second
mode write:
 T0: 1, target 0, counter 1, mode read 0, mode written 1
 T1: 1, target 0, counter 1, mode read 0, mode written 1
 T2: 1, target 0, counter 1, mode read 0, mode written 1
Toggle repeat (00D8h, target 0200h): IRQs and bit 11 reads in 20000 cycles; toggle
one-shot (0098h): IRQs and the mode at the end; IRQ at FFFFh only in toggle repeat
(00E0h) over 300000 cycles:
 T0 toggle repeat: IRQ 19, 11 seen 38, bit 10 changes 38
 T0 toggle one-shot: IRQ 1, bit 10 changes 1, mode at end 0898
 T0 toggle repeat FFFFh only: IRQ 2 at 65537 196666, bit 10 changes 4
 T1 toggle repeat: IRQ 20, 11 seen 38, bit 10 changes 38
 T1 toggle one-shot: IRQ 2, bit 10 changes 1, mode at end 0898
 T1 toggle repeat FFFFh only: IRQ 2 at 65597 196616, bit 10 changes 4
 T2 toggle repeat: IRQ 19, 11 seen 38, bit 10 changes 38
 T2 toggle one-shot: IRQ 2, bit 10 changes 1, mode at end 0898
 T2 toggle repeat FFFFh only: IRQ 2 at 65606 196613, bit 10 changes 4
Pulse repeat (0058h, target 0100h): mode reads back to back for 50000 cycles, how
many read bit 10 as 0, in how many runs, the longest run:
 T0: 29 reads of 2992 read 0, 29 runs, longest 1
 T1: 29 reads of 2992 read 0, 29 runs, longest 1
 T2: 30 reads of 2992 read 0, 30 runs, longest 1
Bit 10 written 0 with the mode (0058h, 00D8h): the first read, and I_STAT at once:
 T0: 0058h reads 1C58, I_STAT 0; 04D8h then 00D8h reads 04D8, I_STAT 0
 T1: 0058h reads 0C58, I_STAT 0; 04D8h then 00D8h reads 04D8, I_STAT 0
 T2: 0058h reads 0C58, I_STAT 0; 04D8h then 00D8h reads 04D8, I_STAT 0
Toggle repeat with I_STAT acknowledged while bit 10 is 0: does I_STAT come back
before bit 10 goes 1 and 0 again? T2, 00D8h, target 1000h:
 first IRQ 4173, bit 10 back to 1 at 8221, next IRQ 12389
Done.