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 | ba133eabd8f5131ab2494a35557d8d360d682484 (patch) | |
tree | f8a4109acd737378244d6c1cc01be6d6741b4bfc /tools/ocaml | |
parent | 0181b5681738d04baa0d196812f37ae0483295b6 (diff) | |
download | xen-ba133eabd8f5131ab2494a35557d8d360d682484.tar.gz xen-ba133eabd8f5131ab2494a35557d8d360d682484.tar.bz2 xen-ba133eabd8f5131ab2494a35557d8d360d682484.zip |
tools: ocaml: rename the pci 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 | 29 | ||||
-rw-r--r-- | tools/ocaml/libs/xl/xl.mli | 30 | ||||
-rw-r--r-- | tools/ocaml/libs/xl/xl_stubs.c | 6 |
3 files changed, 34 insertions, 31 deletions
diff --git a/tools/ocaml/libs/xl/xl.ml b/tools/ocaml/libs/xl/xl.ml index 3dda9a2d8e..11ee3c5579 100644 --- a/tools/ocaml/libs/xl/xl.ml +++ b/tools/ocaml/libs/xl/xl.ml @@ -167,17 +167,22 @@ module Device_vfb = struct external hard_shutdown : domid -> unit = "stub_xl_device_vfb_hard_shutdown" end +module Device_pci = struct + type t = + { + func : int; + dev : int; + bus : int; + domain : int; + vdevfn : int; + msitranslate : bool; + power_mgmt : bool; + } -type pci_info = -{ - func : int; - dev : int; - bus : int; - domain : int; - vdevfn : int; - msitranslate : bool; - power_mgmt : bool; -} + external add : t -> domid -> unit = "stub_xl_device_pci_add" + external remove : t -> domid -> unit = "stub_xl_device_pci_remove" + external shutdown : domid -> unit = "stub_xl_device_pci_shutdown" +end type physinfo = { @@ -212,10 +217,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 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" - type button = | Button_Power | Button_Sleep diff --git a/tools/ocaml/libs/xl/xl.mli b/tools/ocaml/libs/xl/xl.mli index ec1e7bb434..1b53f9263a 100644 --- a/tools/ocaml/libs/xl/xl.mli +++ b/tools/ocaml/libs/xl/xl.mli @@ -167,16 +167,22 @@ module Device_vfb : sig external hard_shutdown : domid -> unit = "stub_xl_device_vfb_hard_shutdown" end -type pci_info = -{ - func : int; - dev : int; - bus : int; - domain : int; - vdevfn : int; - msitranslate : bool; - power_mgmt : bool; -} +module Device_pci : sig + type t = + { + func : int; + dev : int; + bus : int; + domain : int; + vdevfn : int; + msitranslate : bool; + power_mgmt : bool; + } + + external add : t -> domid -> unit = "stub_xl_device_pci_add" + external remove : t -> domid -> unit = "stub_xl_device_pci_remove" + external shutdown : domid -> unit = "stub_xl_device_pci_shutdown" +end type physinfo = { @@ -211,10 +217,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 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" - type button = | Button_Power | Button_Sleep diff --git a/tools/ocaml/libs/xl/xl_stubs.c b/tools/ocaml/libs/xl/xl_stubs.c index 8009e25d75..5758993c95 100644 --- a/tools/ocaml/libs/xl/xl_stubs.c +++ b/tools/ocaml/libs/xl/xl_stubs.c @@ -552,7 +552,7 @@ value stub_xl_device_vfb_hard_shutdown(value domid) CAMLreturn(Val_unit); } -value stub_xl_pci_add(value info, value domid) +value stub_xl_device_pci_add(value info, value domid) { CAMLparam2(info, domid); libxl_device_pci c_info; @@ -570,7 +570,7 @@ value stub_xl_pci_add(value info, value domid) CAMLreturn(Val_unit); } -value stub_xl_pci_remove(value info, value domid) +value stub_xl_device_pci_remove(value info, value domid) { CAMLparam2(info, domid); libxl_device_pci c_info; @@ -588,7 +588,7 @@ value stub_xl_pci_remove(value info, value domid) CAMLreturn(Val_unit); } -value stub_xl_pci_shutdown(value domid) +value stub_xl_device_pci_shutdown(value domid) { CAMLparam1(domid); int ret; |