diff options
Diffstat (limited to 'tools/debugger/pdb/Domain.mli')
-rw-r--r-- | tools/debugger/pdb/Domain.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/debugger/pdb/Domain.mli b/tools/debugger/pdb/Domain.mli index f9c92a30f5..d9cf115c4f 100644 --- a/tools/debugger/pdb/Domain.mli +++ b/tools/debugger/pdb/Domain.mli @@ -22,6 +22,7 @@ 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 |