int 0x1

Opcode: cd01

Instruction: INT
Undefined flags: none

Total states: 240
State # flag mem0_value rsp
InitialFinalΔ InitialFinalΔ InitialFinalΔ
0 0x0000000000000000 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
1 0x0000000000000001 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
2 0x0000000000000004 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
3 0x0000000000000010 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
4 0x0000000000000040 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
5 0x0000000000000080 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
6 0x0000000000000800 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
7 0x00000000000008D5 EXC Debug 0x0000000000000000 EXC Debug 0x0000666666010100 EXC Debug
8 0x0000000000000000 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
9 0x0000000000000001 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
10 0x0000000000000004 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
11 0x0000000000000010 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
12 0x0000000000000040 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
13 0x0000000000000080 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
14 0x0000000000000800 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
15 0x00000000000008D5 EXC Debug 0x0000000000000001 EXC Debug 0x0000666666010100 EXC Debug
16 0x0000000000000000 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
17 0x0000000000000001 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
18 0x0000000000000004 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
19 0x0000000000000010 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
20 0x0000000000000040 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
21 0x0000000000000080 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
22 0x0000000000000800 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
23 0x00000000000008D5 EXC Debug 0x0000000000000002 EXC Debug 0x0000666666010100 EXC Debug
24 0x0000000000000000 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
25 0x0000000000000001 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
26 0x0000000000000004 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
27 0x0000000000000010 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
28 0x0000000000000040 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
29 0x0000000000000080 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
30 0x0000000000000800 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
31 0x00000000000008D5 EXC Debug 0x0000000000000003 EXC Debug 0x0000666666010100 EXC Debug
32 0x0000000000000000 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
33 0x0000000000000001 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
34 0x0000000000000004 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
35 0x0000000000000010 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
36 0x0000000000000040 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
37 0x0000000000000080 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
38 0x0000000000000800 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
39 0x00000000000008D5 EXC Debug 0x000000000000007E EXC Debug 0x0000666666010100 EXC Debug
40 0x0000000000000000 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
41 0x0000000000000001 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
42 0x0000000000000004 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
43 0x0000000000000010 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
44 0x0000000000000040 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
45 0x0000000000000080 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
46 0x0000000000000800 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
47 0x00000000000008D5 EXC Debug 0x000000000000007F EXC Debug 0x0000666666010100 EXC Debug
48 0x0000000000000000 EXC Debug 0x0000000000000080 EXC Debug 0x0000666666010100 EXC Debug
49 0x0000000000000001 EXC Debug 0x0000000000000080 EXC Debug 0x0000666666010100 EXC Debug
Page 1 of 5 Next →