diff options
Diffstat (limited to 'tools/debugger/pdb/Domain.ml')
| -rw-r--r-- | tools/debugger/pdb/Domain.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/debugger/pdb/Domain.ml b/tools/debugger/pdb/Domain.ml index 29754b47f8..dc3fd2fb30 100644 --- a/tools/debugger/pdb/Domain.ml +++ b/tools/debugger/pdb/Domain.ml @@ -36,6 +36,7 @@ let string_of_context ctx = Printf.sprintf "{domain} domain: %d, vcpu: %d" ctx.domain ctx.vcpu +external read_register : context_t -> int -> int32 = "dom_read_register" external read_registers : context_t -> registers = "dom_read_registers" external write_register : context_t -> register -> int32 -> unit = "dom_write_register" |