blob: d9cf115c4f8afb9f4e37bb775cf3e7a871f98f7d (
plain)
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
|
(** Domain.mli
*
* domain context interface
*
* @author copyright (c) 2005 alex ho
* @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
* @version 1
*)
open Int32
open Intel
type context_t
val default_context : context_t
val new_context : int -> int -> context_t
val set_domain : context_t -> int -> unit
val get_domain : context_t -> int
val set_vcpu : context_t -> int -> unit
val get_vcpu : context_t -> int
val string_of_context : context_t -> string
val read_register : context_t -> int -> int32
val read_registers : context_t -> registers
val write_register : context_t -> register -> int32 -> unit
val read_memory : context_t -> int32 -> int -> int list
val write_memory : context_t -> int32 -> int list -> unit
val continue : context_t -> unit
val step : context_t -> unit
val insert_memory_breakpoint : context_t -> int32 -> int -> unit
val remove_memory_breakpoint : context_t -> int32 -> int -> unit
val attach_debugger : int -> int -> unit
val detach_debugger : int -> int -> unit
val pause : context_t -> unit
|
