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 | ea153d70c95d9cf6b54d768232d9c596fd47d581 (patch) | |
tree | e6c4661e60cb59bf76e3e4177b18a34b59e019f0 /tools/ocaml | |
parent | 1a81aedc61b3bb551ab5ee92e0edd90bb3d5dcc0 (diff) | |
download | xen-ea153d70c95d9cf6b54d768232d9c596fd47d581.tar.gz xen-ea153d70c95d9cf6b54d768232d9c596fd47d581.tar.bz2 xen-ea153d70c95d9cf6b54d768232d9c596fd47d581.zip |
tools: ocaml: rename the domain_build_state 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>
[ijc: s/Device_build_state/Domain_build_state/g]
Diffstat (limited to 'tools/ocaml')
-rw-r--r-- | tools/ocaml/libs/xl/xl.ml | 18 | ||||
-rw-r--r-- | tools/ocaml/libs/xl/xl.mli | 18 |
2 files changed, 20 insertions, 16 deletions
diff --git a/tools/ocaml/libs/xl/xl.ml b/tools/ocaml/libs/xl/xl.ml index 108ec69a39..a2a39e0144 100644 --- a/tools/ocaml/libs/xl/xl.ml +++ b/tools/ocaml/libs/xl/xl.ml @@ -70,13 +70,15 @@ module Domain_build_info = struct } end -type build_state = -{ - store_port : int; - store_mfn : int64; - console_port : int; - console_mfn : int64; -} +module Domain_build_state = struct + type t = + { + store_port : int; + store_mfn : int64; + console_port : int; + console_mfn : int64; + } +end type domid = int @@ -137,7 +139,7 @@ module Device_console = struct consoletype : console_type; } - external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add" + external add : t -> Domain_build_state.t -> domid -> unit = "stub_xl_device_console_add" end module Device_vkb = struct diff --git a/tools/ocaml/libs/xl/xl.mli b/tools/ocaml/libs/xl/xl.mli index d131c0170a..d023289404 100644 --- a/tools/ocaml/libs/xl/xl.mli +++ b/tools/ocaml/libs/xl/xl.mli @@ -70,13 +70,15 @@ module Domain_build_info : sig } end -type build_state = -{ - store_port : int; - store_mfn : int64; - console_port : int; - console_mfn : int64; -} +module Domain_build_state : sig + type t = + { + store_port : int; + store_mfn : int64; + console_port : int; + console_mfn : int64; + } +end type domid = int @@ -137,7 +139,7 @@ module Device_console : sig consoletype : console_type; } - external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add" + external add : t -> Domain_build_state.t -> domid -> unit = "stub_xl_device_console_add" end module Device_vkb : sig |