tools/debugger/pdb/Intel.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

(** Intel.ml
 *
 *  various sundry Intel x86 definitions
 *
 *  @author copyright (c) 2005 alex ho
 *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
 *  @version 1
 *)


type register =
  | EBX
  | ECX
  | EDX
  | ESI
  | EDI
  | EBP
  | EAX
  | Error_code
  | Entry_vector
  | EIP
  | CS
  | EFLAGS
  | ESP
  | SS
  | ES
  | DS
  | FS
  | GS

type registers =
    { ebx : int32;
      ecx : int32;
      edx : int32;
      esi : int32;
      edi : int32;
      ebp : int32;
      eax : int32;
      error_code : int32;
      entry_vector : int32;
      eip : int32;
      cs : int32;
      eflags : int32;
      esp : int32;
      ss : int32;
      es : int32;
      ds : int32;
      fs : int32;
      gs : int32
    }

let null_registers =
  { ebx = 0l;
    ecx = 0l;
    edx = 0l;
    esi = 0l;
    edi = 0l;
    ebp = 0l;
    eax = 0l;
    error_code = 0l;
    entry_vector = 0l;
    eip = 0l;
    cs = 0l;
    eflags = 0l;
    esp = 0l;
    ss = 0l;
    es = 0l;
    ds = 0l;
    fs = 0l;
    gs = 0l
  }