diff options
author | ach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk> | 2005-07-12 17:00:33 +0000 |
---|---|---|
committer | ach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk> | 2005-07-12 17:00:33 +0000 |
commit | d850b8fed383100a8a91ea19e6cdcd7c81a140e3 (patch) | |
tree | e243b0f584b2027fbc53e02192167f7ec32d50f5 /tools/debugger | |
parent | cb1cb3854446b0b38ab2f46ec2612d1e458ec0bd (diff) | |
download | xen-d850b8fed383100a8a91ea19e6cdcd7c81a140e3.tar.gz xen-d850b8fed383100a8a91ea19e6cdcd7c81a140e3.tar.bz2 xen-d850b8fed383100a8a91ea19e6cdcd7c81a140e3.zip |
pdb: execution_domain -> vcpu
Diffstat (limited to 'tools/debugger')
-rw-r--r-- | tools/debugger/pdb/Domain.ml | 18 | ||||
-rw-r--r-- | tools/debugger/pdb/Domain.mli | 4 | ||||
-rw-r--r-- | tools/debugger/pdb/PDB.ml | 6 |
3 files changed, 14 insertions, 14 deletions
diff --git a/tools/debugger/pdb/Domain.ml b/tools/debugger/pdb/Domain.ml index 2701a12ce0..29754b47f8 100644 --- a/tools/debugger/pdb/Domain.ml +++ b/tools/debugger/pdb/Domain.ml @@ -13,28 +13,28 @@ open Intel type context_t = { mutable domain : int; - mutable execution_domain : int + mutable vcpu : int } -let default_context = { domain = 0; execution_domain = 0 } +let default_context = { domain = 0; vcpu = 0 } -let new_context dom exec_dom = {domain = dom; execution_domain = exec_dom} +let new_context new_dom new_vcpu = {domain = new_dom; vcpu = new_vcpu} let set_domain ctx value = ctx.domain <- value -let set_execution_domain ctx value = - ctx.execution_domain <- value +let set_vcpu ctx value = + ctx.vcpu <- value let get_domain ctx = ctx.domain -let get_execution_domain ctx = - ctx.execution_domain +let get_vcpu ctx = + ctx.vcpu let string_of_context ctx = - Printf.sprintf "{domain} domain: %d, execution_domain: %d" - ctx.domain ctx.execution_domain + Printf.sprintf "{domain} domain: %d, vcpu: %d" + ctx.domain ctx.vcpu external read_registers : context_t -> registers = "dom_read_registers" external write_register : context_t -> register -> int32 -> unit = diff --git a/tools/debugger/pdb/Domain.mli b/tools/debugger/pdb/Domain.mli index 456d19489d..f9c92a30f5 100644 --- a/tools/debugger/pdb/Domain.mli +++ b/tools/debugger/pdb/Domain.mli @@ -17,8 +17,8 @@ val new_context : int -> int -> context_t val set_domain : context_t -> int -> unit val get_domain : context_t -> int -val set_execution_domain : context_t -> int -> unit -val get_execution_domain : context_t -> int +val set_vcpu : context_t -> int -> unit +val get_vcpu : context_t -> int val string_of_context : context_t -> string diff --git a/tools/debugger/pdb/PDB.ml b/tools/debugger/pdb/PDB.ml index 12ee1f00d8..a840535479 100644 --- a/tools/debugger/pdb/PDB.ml +++ b/tools/debugger/pdb/PDB.ml @@ -56,7 +56,7 @@ let find_domain dom vcpu = match ctx with | Domain d -> if (((Domain.get_domain d) = dom) && - ((Domain.get_execution_domain d) = vcpu)) + ((Domain.get_vcpu d) = vcpu)) then key :: list else @@ -93,7 +93,7 @@ let find_xen_domain_context domain = let attach_debugger ctx = match ctx with | Domain d -> Domain.attach_debugger (Domain.get_domain d) - (Domain.get_execution_domain d) + (Domain.get_vcpu d) | Process p -> begin let xdom_sock = find_xen_domain_context (Process.get_domain p) in @@ -108,7 +108,7 @@ let attach_debugger ctx = let detach_debugger ctx = match ctx with | Domain d -> Domain.detach_debugger (Domain.get_domain d) - (Domain.get_execution_domain d) + (Domain.get_vcpu d) | Process p -> Process.detach_debugger p | _ -> raise (Unimplemented "detach debugger") |