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 | 0181b5681738d04baa0d196812f37ae0483295b6 (patch) | |
tree | 92dffd94af17181d0d070204a8d58f12e06e8855 /tools/ocaml | |
parent | 21fadf30af1418207dcdb8340674aa2e6730c164 (diff) | |
download | xen-0181b5681738d04baa0d196812f37ae0483295b6.tar.gz xen-0181b5681738d04baa0d196812f37ae0483295b6.tar.bz2 xen-0181b5681738d04baa0d196812f37ae0483295b6.zip |
tools: ocaml: rename the vkb 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 | 60 | ||||
-rw-r--r-- | tools/ocaml/libs/xl/xl.mli | 59 | ||||
-rw-r--r-- | tools/ocaml/libs/xl/xl_stubs.c | 12 |
3 files changed, 69 insertions, 62 deletions
diff --git a/tools/ocaml/libs/xl/xl.ml b/tools/ocaml/libs/xl/xl.ml index a6024728c6..3dda9a2d8e 100644 --- a/tools/ocaml/libs/xl/xl.ml +++ b/tools/ocaml/libs/xl/xl.ml @@ -134,27 +134,39 @@ module Device_console = struct external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add" end -type vkb_info = -{ - backend_domid : domid; - devid : int; -} +module Device_vkb = struct + type t = + { + backend_domid : domid; + devid : int; + } + + external add : t -> domid -> unit = "stub_xl_device_vkb_add" + external clean_shutdown : domid -> unit = "stub_xl_device_vkb_clean_shutdown" + external hard_shutdown : domid -> unit = "stub_xl_device_vkb_hard_shutdown" +end + +module Device_vfb = struct + type t = + { + backend_domid : domid; + devid : int; + vnc : bool; + vnclisten : string; + vncpasswd : string; + vncdisplay : int; + vncunused : bool; + keymap : string; + sdl : bool; + opengl : bool; + display : string; + xauthority : string; + } + external add : t -> domid -> unit = "stub_xl_device_vfb_add" + external clean_shutdown : domid -> unit = "stub_xl_device_vfb_clean_shutdown" + external hard_shutdown : domid -> unit = "stub_xl_device_vfb_hard_shutdown" +end -type vfb_info = -{ - backend_domid : domid; - devid : int; - vnc : bool; - vnclisten : string; - vncpasswd : string; - vncdisplay : int; - vncunused : bool; - keymap : string; - sdl : bool; - opengl : bool; - display : string; - xauthority : string; -} type pci_info = { @@ -200,14 +212,6 @@ type sched_credit = external domain_make : create_info -> domid = "stub_xl_domain_make" external domain_build : build_info -> domid -> build_state = "stub_xl_domain_build" -external vkb_add : vkb_info -> domid -> unit = "stub_xl_vkb_add" -external vkb_clean_shutdown : domid -> unit = "stub_vkb_clean_shutdown" -external vkb_hard_shutdown : domid -> unit = "stub_vkb_hard_shutdown" - -external vfb_add : vfb_info -> domid -> unit = "stub_xl_vfb_add" -external vfb_clean_shutdown : domid -> unit = "stub_vfb_clean_shutdown" -external vfb_hard_shutdown : domid -> unit = "stub_vfb_hard_shutdown" - external pci_add : pci_info -> domid -> unit = "stub_xl_pci_add" external pci_remove : pci_info -> domid -> unit = "stub_xl_pci_remove" external pci_shutdown : domid -> unit = "stub_xl_pci_shutdown" diff --git a/tools/ocaml/libs/xl/xl.mli b/tools/ocaml/libs/xl/xl.mli index cf77e1d520..ec1e7bb434 100644 --- a/tools/ocaml/libs/xl/xl.mli +++ b/tools/ocaml/libs/xl/xl.mli @@ -134,27 +134,38 @@ module Device_console : sig external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add" end -type vkb_info = -{ - backend_domid : domid; - devid : int; -} +module Device_vkb : sig + type t = + { + backend_domid : domid; + devid : int; + } + + external add : t -> domid -> unit = "stub_xl_device_vkb_add" + external clean_shutdown : domid -> unit = "stub_xl_device_vkb_clean_shutdown" + external hard_shutdown : domid -> unit = "stub_xl_device_vkb_hard_shutdown" +end -type vfb_info = -{ - backend_domid : domid; - devid : int; - vnc : bool; - vnclisten : string; - vncpasswd : string; - vncdisplay : int; - vncunused : bool; - keymap : string; - sdl : bool; - opengl : bool; - display : string; - xauthority : string; -} +module Device_vfb : sig + type t = + { + backend_domid : domid; + devid : int; + vnc : bool; + vnclisten : string; + vncpasswd : string; + vncdisplay : int; + vncunused : bool; + keymap : string; + sdl : bool; + opengl : bool; + display : string; + xauthority : string; + } + external add : t -> domid -> unit = "stub_xl_device_vfb_add" + external clean_shutdown : domid -> unit = "stub_xl_device_vfb_clean_shutdown" + external hard_shutdown : domid -> unit = "stub_xl_device_vfb_hard_shutdown" +end type pci_info = { @@ -200,14 +211,6 @@ type sched_credit = external domain_make : create_info -> domid = "stub_xl_domain_make" external domain_build : build_info -> domid -> build_state = "stub_xl_domain_build" -external vkb_add : vkb_info -> domid -> unit = "stub_xl_vkb_add" -external vkb_clean_shutdown : domid -> unit = "stub_vkb_clean_shutdown" -external vkb_hard_shutdown : domid -> unit = "stub_vkb_hard_shutdown" - -external vfb_add : vfb_info -> domid -> unit = "stub_xl_vfb_add" -external vfb_clean_shutdown : domid -> unit = "stub_vfb_clean_shutdown" -external vfb_hard_shutdown : domid -> unit = "stub_vfb_hard_shutdown" - external pci_add : pci_info -> domid -> unit = "stub_xl_pci_add" external pci_remove : pci_info -> domid -> unit = "stub_xl_pci_remove" external pci_shutdown : domid -> unit = "stub_xl_pci_shutdown" diff --git a/tools/ocaml/libs/xl/xl_stubs.c b/tools/ocaml/libs/xl/xl_stubs.c index 3ded26ee75..8009e25d75 100644 --- a/tools/ocaml/libs/xl/xl_stubs.c +++ b/tools/ocaml/libs/xl/xl_stubs.c @@ -456,7 +456,7 @@ value stub_xl_device_console_add(value info, value state, value domid) CAMLreturn(Val_unit); } -value stub_xl_vkb_add(value info, value domid) +value stub_xl_device_vkb_add(value info, value domid) { CAMLparam2(info, domid); libxl_device_vkb c_info; @@ -474,7 +474,7 @@ value stub_xl_vkb_add(value info, value domid) CAMLreturn(Val_unit); } -value stub_xl_vkb_clean_shutdown(value domid) +value stub_xl_device_vkb_clean_shutdown(value domid) { CAMLparam1(domid); int ret; @@ -489,7 +489,7 @@ value stub_xl_vkb_clean_shutdown(value domid) CAMLreturn(Val_unit); } -value stub_xl_vkb_hard_shutdown(value domid) +value stub_xl_device_vkb_hard_shutdown(value domid) { CAMLparam1(domid); int ret; @@ -504,7 +504,7 @@ value stub_xl_vkb_hard_shutdown(value domid) CAMLreturn(Val_unit); } -value stub_xl_vfb_add(value info, value domid) +value stub_xl_device_vfb_add(value info, value domid) { CAMLparam2(info, domid); libxl_device_vfb c_info; @@ -522,7 +522,7 @@ value stub_xl_vfb_add(value info, value domid) CAMLreturn(Val_unit); } -value stub_xl_vfb_clean_shutdown(value domid) +value stub_xl_device_vfb_clean_shutdown(value domid) { CAMLparam1(domid); int ret; @@ -537,7 +537,7 @@ value stub_xl_vfb_clean_shutdown(value domid) CAMLreturn(Val_unit); } -value stub_xl_vfb_hard_shutdown(value domid) +value stub_xl_device_vfb_hard_shutdown(value domid) { CAMLparam1(domid); int ret; |