diff options
author | David Scott <dave.scott@eu.citrix.com> | 2011-03-30 18:54:28 +0100 |
---|---|---|
committer | David Scott <dave.scott@eu.citrix.com> | 2011-03-30 18:54:28 +0100 |
commit | a411b4e61ad0ee43326e94859a33c320298fbd3f (patch) | |
tree | caf97f8cb7d16a76fbd59217430f954914ab9357 /tools/ocaml | |
parent | 56e0b06e36cedd178d7c3d9a94e1d24d269ce869 (diff) | |
download | xen-a411b4e61ad0ee43326e94859a33c320298fbd3f.tar.gz xen-a411b4e61ad0ee43326e94859a33c320298fbd3f.tar.bz2 xen-a411b4e61ad0ee43326e94859a33c320298fbd3f.zip |
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>
Acked-by: Ian Jackson <ian.jackson.citrix.com>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
Diffstat (limited to 'tools/ocaml')
-rw-r--r-- | tools/ocaml/libs/xl/xl.ml | 17 | ||||
-rw-r--r-- | tools/ocaml/libs/xl/xl.mli | 18 |
2 files changed, 19 insertions, 16 deletions
diff --git a/tools/ocaml/libs/xl/xl.ml b/tools/ocaml/libs/xl/xl.ml index 3e2244d1d2..3e5b2dee82 100644 --- a/tools/ocaml/libs/xl/xl.ml +++ b/tools/ocaml/libs/xl/xl.ml @@ -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 -> unit = "stub_xl_button_press" 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 --git a/tools/ocaml/libs/xl/xl.mli b/tools/ocaml/libs/xl/xl.mli index c1332c9d73..2e2e177e53 100644 --- a/tools/ocaml/libs/xl/xl.mli +++ b/tools/ocaml/libs/xl/xl.mli @@ -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 -> unit = "stub_xl_button_press" 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" |