From a411b4e61ad0ee43326e94859a33c320298fbd3f Mon Sep 17 00:00:00 2001 From: David Scott Date: Wed, 30 Mar 2011 18:54:28 +0100 Subject: [PATCH] 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 Signed-off-by: Ian Campbell Acked-by: Ian Jackson Committed-by: Ian Jackson --- tools/ocaml/libs/xl/xl.ml | 17 +++++++++-------- 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" -- 2.39.5