|
|
|
|
|
|
|
|
|
|
xen-changelog
[Xen-changelog] pdb: execution_domain -> vcpu
# HG changeset patch
# User ach61@xxxxxxxxxxxxxxxxxxxxxx
# Node ID f23750d7c214b42bd666ace0da1ebffac31fb48a
# Parent d80e38e4b31df04cc33f5df25a1f5c5c87f7943f
pdb: execution_domain -> vcpu
diff -r d80e38e4b31d -r f23750d7c214 tools/debugger/pdb/Domain.ml
--- a/tools/debugger/pdb/Domain.ml Tue Jul 12 16:50:38 2005
+++ b/tools/debugger/pdb/Domain.ml Tue Jul 12 17:00:33 2005
@@ -13,28 +13,28 @@
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 -r d80e38e4b31d -r f23750d7c214 tools/debugger/pdb/Domain.mli
--- a/tools/debugger/pdb/Domain.mli Tue Jul 12 16:50:38 2005
+++ b/tools/debugger/pdb/Domain.mli Tue Jul 12 17:00:33 2005
@@ -17,8 +17,8 @@
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 -r d80e38e4b31d -r f23750d7c214 tools/debugger/pdb/PDB.ml
--- a/tools/debugger/pdb/PDB.ml Tue Jul 12 16:50:38 2005
+++ b/tools/debugger/pdb/PDB.ml Tue Jul 12 17:00:33 2005
@@ -56,7 +56,7 @@
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 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 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")
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-changelog] pdb: execution_domain -> vcpu,
Xen patchbot -unstable <=
|
|
|
|
|