Mailing List Archive

# HG changeset patch
# User David Scott <dave.scott@eu.citrix.com>
# Date 1301507668 -3600
# Node ID f4961da2018cd83259dfb62be460967bf5666e2b
# Parent 4efc6e95213bd6041488cca622142e39f3397b5b
tools: ocaml: rename the sched_credit types and functions

The aims are:
1. make the records instantiable if they have field names in common; and
2. to make it easier to derive the names programatically from the IDL

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>

diff -r 4efc6e95213b -r f4961da2018c tools/ocaml/libs/xl/xl.ml
--- a/tools/ocaml/libs/xl/xl.ml Wed Mar 30 18:54:28 2011 +0100
+++ b/tools/ocaml/libs/xl/xl.ml Wed Mar 30 18:54:28 2011 +0100
@@ -220,11 +220,15 @@ type topology =

type topologyinfo = topology option array

-type sched_credit =
-{
- weight: int;
- cap: int;
-}
+module Sched_credit = struct
+ type t =
+ {
+ weight: int;
+ cap: int;
+ }
+ external domain_get : domid -> t = "stub_xl_sched_credit_domain_get"
+ external domain_set : domid -> t -> unit = "stub_xl_sched_credit_domain_set"
+end

type button =
| Button_Power
@@ -234,9 +238,6 @@ external button_press : domid -> button

external topologyinfo: unit -> topologyinfo = "stub_xl_topologyinfo"

-external domain_sched_credit_get : domid -> sched_credit = "stub_xl_sched_credit_domain_get"
-external domain_sched_credit_set : domid -> sched_credit -> unit = "stub_xl_sched_credit_domain_set"
-
external send_trigger : domid -> string -> int -> unit = "stub_xl_send_trigger"
external send_sysrq : domid -> char -> unit = "stub_xl_send_sysrq"
external send_debug_keys : domid -> string -> unit = "stub_xl_send_debug_keys"
diff -r 4efc6e95213b -r f4961da2018c tools/ocaml/libs/xl/xl.mli
--- a/tools/ocaml/libs/xl/xl.mli Wed Mar 30 18:54:28 2011 +0100
+++ b/tools/ocaml/libs/xl/xl.mli Wed Mar 30 18:54:28 2011 +0100
@@ -220,11 +220,16 @@ type topology =

type topologyinfo = topology option array

-type sched_credit =
-{
- weight: int;
- cap: int;
-}
+module Sched_credit : sig
+ type t =
+ {
+ weight: int;
+ cap: int;
+ }
+
+ external domain_get : domid -> t = "stub_xl_sched_credit_domain_get"
+ external domain_set : domid -> t -> unit = "stub_xl_sched_credit_domain_set"
+end

type button =
| Button_Power
@@ -234,9 +239,6 @@ external button_press : domid -> button

external topologyinfo: unit -> topologyinfo = "stub_xl_topologyinfo"

-external domain_sched_credit_get : domid -> sched_credit = "stub_xl_sched_credit_domain_get"
-external domain_sched_credit_set : domid -> sched_credit -> unit = "stub_xl_sched_credit_domain_set"
-
external send_trigger : domid -> string -> int -> unit = "stub_xl_send_trigger"
external send_sysrq : domid -> char -> unit = "stub_xl_send_sysrq"
external send_debug_keys : domid -> string -> unit = "stub_xl_send_debug_keys"

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel