[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Xen-devel] [PATCH 12 of 14] tools: ocaml: rename the sched_credit types and functions
# HG changeset patch # User David Scott <dave.scott@xxxxxxxxxxxxx> # Date 1301507668 -3600 # Node ID 62443233adf0d2319da50210057041380d7bd07f # Parent b8aa09368adbc3863d7ed1e008c5bffb15e3ae4c 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@xxxxxxxxxxxxx> diff -r b8aa09368adb -r 62443233adf0 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 @@ -209,11 +209,15 @@ module Physinfo = struct end -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 @@ -221,9 +225,6 @@ type button = external button_press : domid -> button -> unit = "stub_xl_button_press" -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 b8aa09368adb -r 62443233adf0 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 @@ -209,11 +209,16 @@ module Physinfo : sig end -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 @@ -221,9 +226,6 @@ type button = external button_press : domid -> button -> unit = "stub_xl_button_press" -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@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/xen-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |