From: Ian Campbell Date: Wed, 20 Apr 2011 16:13:08 +0000 (+0100) Subject: tools: ocaml: autogenerate xl datatype definitions and ocaml<->C conversion X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~10415 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1d7b94fcb6f4ff0f8d2c6836963baace22bd0fde;p=xen.git tools: ocaml: autogenerate xl datatype definitions and ocaml<->C conversion The method by which ocaml converts between ocaml types and C datastructures is based around explicit matching of field indexes within the ocaml data type to C structure members which is error prone to write and fragile to maintain (as evidenced by the difference between the existing hand coded support and the autogenerated code which shows how out of date the ocaml bindings have become). Autogenerating these types should reduce these problems. There is a short list of types which are blacklisted and not autogenerated because I expect them to change significantly in the future due to changes to the IDL type (fixing up the TaggedUnion class) so I didn't want to spend the time to implement the necessary autogenerator features just yet.. Signed-off-by: Ian Campbell Acked-by: Ian Jackson Committed-by: Ian Jackson --- diff --git a/tools/ocaml/libs/xl/Makefile b/tools/ocaml/libs/xl/Makefile index 8e87973814..decdf62a5a 100644 --- a/tools/ocaml/libs/xl/Makefile +++ b/tools/ocaml/libs/xl/Makefile @@ -2,6 +2,8 @@ TOPLEVEL=$(CURDIR)/../.. XEN_ROOT=$(TOPLEVEL)/../.. include $(TOPLEVEL)/common.make +# ignore unused generated functions +CFLAGS += -Wno-unused CFLAGS += $(CFLAGS_libxenlight) OBJS = xl diff --git a/tools/ocaml/libs/xl/genwrap.py b/tools/ocaml/libs/xl/genwrap.py index 3f1c6e5245..30af16f988 100644 --- a/tools/ocaml/libs/xl/genwrap.py +++ b/tools/ocaml/libs/xl/genwrap.py @@ -4,6 +4,255 @@ import sys,os import libxltypes +# typename -> ( ocaml_type, c_from_ocaml, ocaml_from_c ) +builtins = { + "bool": ("bool", "%(c)s = Bool_val(%(o)s)", "Val_bool(%(c)s)" ), + "int": ("int", "%(c)s = Int_val(%(o)s)", "Val_int(%(c)s)" ), + "char *": ("string", "%(c)s = dup_String_val(gc, %(o)s)", "caml_copy_string(%(c)s)"), + "libxl_domid": ("domid", "%(c)s = Int_val(%(o)s)", "Val_int(%(c)s)" ), + "libxl_uuid": ("int array", "Uuid_val(gc, lg, &%(c)s, %(o)s)", "Val_uuid(&%(c)s)"), + "libxl_key_value_list": ("(string * string) list", None, None), + "libxl_mac": ("int array", "Mac_val(gc, lg, &%(c)s, %(o)s)", "Val_mac(&%(c)s)"), + "libxl_hwcap": ("int32 array", None, "Val_hwcap(&%(c)s)"), + } + +functions = { # ( name , [type1,type2,....] ) + "device_vfb": [ ("add", ["t", "domid", "unit"]), + ("clean_shutdown", ["domid", "unit"]), + ("hard_shutdown", ["domid", "unit"]), + ], + "device_vkb": [ ("add", ["t", "domid", "unit"]), + ("clean_shutdown", ["domid", "unit"]), + ("hard_shutdown", ["domid", "unit"]), + ], + "device_console": [ ("add", ["t", "domid", "unit"]), + ], + "device_disk": [ ("add", ["t", "domid", "unit"]), + ("del", ["t", "domid", "unit"]), + ], + "device_nic": [ ("add", ["t", "domid", "unit"]), + ("del", ["t", "domid", "unit"]), + ], + "device_pci": [ ("add", ["t", "domid", "unit"]), + ("remove", ["t", "domid", "unit"]), + ("shutdown", ["domid", "unit"]), + ], + "physinfo": [ ("get", ["unit", "t"]), + ], + "sched_credit": [ ("domain_get", ["domid", "t"]), + ("domain_set", ["domid", "t", "unit"]), + ], +} +def stub_fn_name(ty, name): + return "stub_xl_%s_%s" % (ty.rawname,name) + +def ocaml_type_of(ty): + if ty.rawname == "domid": + return "domid" + elif isinstance(ty,libxltypes.UInt): + if ty.width in [8, 16]: + # handle as ints + width = None + elif ty.width in [32, 64]: + width = ty.width + else: + raise NotImplementedError("Cannot handle %d-bit int" % ty.width) + if width: + return "int%d" % ty.width + else: + return "int" + + elif isinstance(ty,libxltypes.Builtin): + if not builtins.has_key(ty.typename): + raise NotImplementedError("Unknown Builtin %s (%s)" % (ty.typename, type(ty))) + typename,_,_ = builtins[ty.typename] + if not typename: + raise NotImplementedError("No typename for Builtin %s (%s)" % (ty.typename, type(ty))) + return typename + else: + return ty.rawname + +def ocaml_instance_of(type, name): + return "%s : %s" % (name, ocaml_type_of(type)) + +def gen_ocaml_ml(ty, interface, indent=""): + + if interface: + s = ("""(* %s interface *)\n""" % ty.typename) + else: + s = ("""(* %s implementation *)\n""" % ty.typename) + if isinstance(ty, libxltypes.Enumeration): + s = "type %s = \n" % ty.rawname + for v in ty.values: + s += "\t | %s\n" % v.rawname + elif isinstance(ty, libxltypes.Aggregate): + s = "" + if ty.typename is None: + raise NotImplementedError("%s has no typename" % type(ty)) + else: + + module_name = ty.rawname[0].upper() + ty.rawname[1:] + + if interface: + s += "module %s : sig\n" % module_name + else: + s += "module %s = struct\n" % module_name + s += "\ttype t =\n" + s += "\t{\n" + + for f in ty.fields: + x = ocaml_instance_of(f.type, f.name) + x = x.replace("\n", "\n\t\t") + s += "\t\t" + x + ";\n" + + s += "\t}\n" + + if functions.has_key(ty.rawname): + for name,args in functions[ty.rawname]: + s += "\texternal %s : " % name + s += " -> ".join(args) + s += " = \"%s\"\n" % stub_fn_name(ty,name) + + s += "end\n" + + else: + raise NotImplementedError("%s" % type(ty)) + return s.replace("\n", "\n%s" % indent) + +def c_val(ty, c, o, indent="", parent = None): + if ty.passby == libxltypes.PASS_BY_REFERENCE: + makeref = "" + else: + makeref = "&" + + s = indent + if isinstance(ty,libxltypes.UInt): + if ty.width in [8, 16]: + # handle as ints + width = None + elif ty.width in [32, 64]: + width = ty.width + else: + raise NotImplementedError("Cannot handle %d-bit int" % ty.width) + if width: + s += "%s = Int%d_val(%s);" % (c, width, o) + else: + s += "%s = Int_val(%s);" % (c, o) + elif isinstance(ty,libxltypes.Builtin): + if not builtins.has_key(ty.typename): + raise NotImplementedError("Unknown Builtin %s (%s)" % (ty.typename, type(ty))) + _,fn,_ = builtins[ty.typename] + if not fn: + raise NotImplementedError("No c_val fn for Builtin %s (%s)" % (ty.typename, type(ty))) + s += "%s;" % (fn % { "o": o, "c": c }) + elif isinstance(ty,libxltypes.Enumeration) and (parent is None): + n = 0 + s += "switch(Int_val(%s)) {\n" % o + for e in ty.values: + s += " case %d: *%s = %s; break;\n" % (n, c, e.name) + n += 1 + s += " default: failwith_xl(\"cannot convert value to %s\", lg); break;\n" % ty.typename + s += "}" + elif isinstance(ty, libxltypes.Aggregate) and (parent is None): + n = 0 + for f in ty.fields: + s += "%s\n" % c_val(f.type, "%s->%s" % (c, f.name), "Field(%s, %d)" % (o,n), parent="%s->" % (c)) + n = n + 1 + else: + s += "%s_val(gc, lg, %s, %s);" % (ty.rawname, makeref + c, o) + + return s.replace("\n", "\n%s" % indent) + +def gen_c_val(ty, indent=""): + s = "/* Convert caml value to %s */\n" % ty.rawname + + s += "static int %s_val (caml_gc *gc, struct caml_logger *lg, %s *c_val, value v)\n" % (ty.rawname, ty.typename) + s += "{\n" + s += "\tCAMLparam1(v);\n" + s += "\n" + + s += c_val(ty, "c_val", "v", indent="\t") + "\n" + + s += "\tCAMLreturn(0);\n" + s += "}\n" + + return s.replace("\n", "\n%s" % indent) + +def ocaml_Val(ty, o, c, indent="", parent = None): + if ty.passby == libxltypes.PASS_BY_REFERENCE: + makeref = "" + else: + makeref = "&" + + s = indent + if isinstance(ty,libxltypes.UInt): + if ty.width in [8, 16]: + # handle as ints + width = None + elif ty.width in [32, 64]: + width = ty.width + else: + raise NotImplementedError("Cannot handle %d-bit int" % ty.width) + if width: + s += "%s = caml_copy_int%d(%s);" % (o, width, c) + else: + s += "%s = Val_int(%s);" % (o, c) + elif isinstance(ty,libxltypes.Builtin): + if not builtins.has_key(ty.typename): + raise NotImplementedError("Unknown Builtin %s (%s)" % (ty.typename, type(ty))) + _,_,fn = builtins[ty.typename] + if not fn: + raise NotImplementedError("No ocaml Val fn for Builtin %s (%s)" % (ty.typename, type(ty))) + s += "%s = %s;" % (o, fn % { "c": c }) + elif isinstance(ty,libxltypes.Enumeration) and (parent is None): + n = 0 + s += "switch(*%s) {\n" % c + for e in ty.values: + s += " case %s: %s = Int_val(%d); break;\n" % (e.name, o, n) + n += 1 + s += " default: failwith_xl(\"cannot convert value from %s\", lg); break;\n" % ty.typename + s += "}" + elif isinstance(ty,libxltypes.Aggregate) and (parent is None): + s += "{\n" + s += "\tvalue %s_field;\n" % ty.rawname + s += "\n" + s += "\t%s = caml_alloc_tuple(%d);\n" % (o, len(ty.fields)) + + n = 0 + for f in ty.fields: + s += "\n" + s += "\t%s\n" % ocaml_Val(f.type, "%s_field" % ty.rawname, "%s->%s" % (c,f.name), parent="%s->" % c) + s += "\tStore_field(%s, %d, %s);\n" % (o, n, "%s_field" % ty.rawname) + n = n + 1 + s += "}" + else: + s += "%s = Val_%s(gc, lg, %s);" % (o, ty.rawname, makeref + c) + + return s.replace("\n", "\n%s" % indent).rstrip(indent) + +def gen_Val_ocaml(ty, indent=""): + s = "/* Convert %s to a caml value */\n" % ty.rawname + + s += "static value Val_%s (caml_gc *gc, struct caml_logger *lg, %s *%s_c)\n" % (ty.rawname, ty.typename, ty.rawname) + s += "{\n" + s += "\tCAMLparam0();\n" + s += "\tCAMLlocal1(%s_ocaml);\n" % ty.rawname + + s += ocaml_Val(ty, "%s_ocaml" % ty.rawname, "%s_c" % ty.rawname, indent="\t") + "\n" + + s += "\tCAMLreturn(%s_ocaml);\n" % ty.rawname + s += "}\n" + return s.replace("\n", "\n%s" % indent) + +def gen_c_stub_prototype(ty, fns): + s = "/* Stubs for %s */\n" % ty.rawname + for name,args in fns: + # For N args we return one value and take N-1 values as parameters + s += "value %s(" % stub_fn_name(ty, name) + s += ", ".join(["value v%d" % v for v in range(1,len(args))]) + s += ");\n" + return s + def autogen_header(open_comment, close_comment): s = open_comment + " AUTO-GENERATED FILE DO NOT EDIT " + close_comment + "\n" s += open_comment + " autogenerated by \n" @@ -20,6 +269,21 @@ if __name__ == '__main__': idl = sys.argv[1] (_,types) = libxltypes.parse(idl) + # Do not generate these yet. + blacklist = [ + "cpupoolinfo", + "domain_create_info", + "domain_build_info", + "device_model_info", + "vcpuinfo", + "topologyinfo", + ] + + for t in blacklist: + if t not in [ty.rawname for ty in types]: + print "unknown type %s in blacklist" % t + + types = [ty for ty in types if not ty.rawname in blacklist] _ml = sys.argv[3] ml = open(_ml, 'w') @@ -33,8 +297,25 @@ if __name__ == '__main__': cinc = open(_cinc, 'w') cinc.write(autogen_header("/*", "*/")) - # TODO: autogenerate something + for ty in types: + #sys.stdout.write(" TYPE %-20s " % ty.rawname) + ml.write(gen_ocaml_ml(ty, False)) + ml.write("\n") + mli.write(gen_ocaml_ml(ty, True)) + mli.write("\n") + + if ty.marshal_in(): + cinc.write(gen_c_val(ty)) + cinc.write("\n") + if ty.marshal_out(): + cinc.write(gen_Val_ocaml(ty)) + cinc.write("\n") + if functions.has_key(ty.rawname): + cinc.write(gen_c_stub_prototype(ty, functions[ty.rawname])) + cinc.write("\n") + #sys.stdout.write("\n") + ml.write("(* END OF AUTO-GENERATED CODE *)\n") ml.close() mli.write("(* END OF AUTO-GENERATED CODE *)\n") diff --git a/tools/ocaml/libs/xl/xl.ml.in b/tools/ocaml/libs/xl/xl.ml.in index 96f116eb6b..f4bba86837 100644 --- a/tools/ocaml/libs/xl/xl.ml.in +++ b/tools/ocaml/libs/xl/xl.ml.in @@ -19,145 +19,6 @@ type domid = int (* @@LIBXL_TYPES@@ *) -type console_type = - | CONSOLETYPE_XENCONSOLED - | CONSOLETYPE_IOEMU - -type disk_phystype = - | PHYSTYPE_QCOW - | PHYSTYPE_QCOW2 - | PHYSTYPE_VHD - | PHYSTYPE_AIO - | PHYSTYPE_FILE - | PHYSTYPE_PHY - -type nic_type = - | NICTYPE_IOEMU - | NICTYPE_VIF - -type button = - | Button_Power - | Button_Sleep - -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 - -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_console = struct - type t = - { - backend_domid : domid; - devid : int; - consoletype : console_type; - } - external add : t -> domid -> unit = "stub_xl_device_console_add" -end - -module Device_disk = struct - type t = - { - backend_domid : domid; - physpath : string; - phystype : disk_phystype; - virtpath : string; - unpluggable : bool; - readwrite : bool; - is_cdrom : bool; - } - external add : t -> domid -> unit = "stub_xl_device_disk_add" - external del : t -> domid -> unit = "stub_xl_device_disk_del" -end - -module Device_nic = struct - type t = - { - backend_domid : domid; - devid : int; - mtu : int; - model : string; - mac : int array; - bridge : string; - ifname : string; - script : string; - nictype : nic_type; - } - external add : t -> domid -> unit = "stub_xl_device_nic_add" - external del : t -> domid -> unit = "stub_xl_device_nic_del" -end - -module Device_pci = struct - 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 - -module Physinfo = struct - type t = - { - threads_per_core : int; - cores_per_socket : int; - max_cpu_id : int; - nr_cpus : int; - cpu_khz : int; - total_pages : int64; - free_pages : int64; - scrub_pages : int64; - nr_nodes : int; - hwcap : int32 array; - physcap : int32; - } - external get : unit -> t = "stub_xl_physinfo" - -end - -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 - module Topologyinfo = struct type t = { diff --git a/tools/ocaml/libs/xl/xl.mli.in b/tools/ocaml/libs/xl/xl.mli.in index 55cfd25416..2b169a085e 100644 --- a/tools/ocaml/libs/xl/xl.mli.in +++ b/tools/ocaml/libs/xl/xl.mli.in @@ -19,145 +19,6 @@ type domid = int (* @@LIBXL_TYPES@@ *) -type console_type = - | CONSOLETYPE_XENCONSOLED - | CONSOLETYPE_IOEMU - -type disk_phystype = - | PHYSTYPE_QCOW - | PHYSTYPE_QCOW2 - | PHYSTYPE_VHD - | PHYSTYPE_AIO - | PHYSTYPE_FILE - | PHYSTYPE_PHY - -type nic_type = - | NICTYPE_IOEMU - | NICTYPE_VIF - -type button = - | Button_Power - | Button_Sleep - -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 - -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 - -module Device_console : sig - type t = - { - backend_domid : domid; - devid : int; - consoletype : console_type; - } - - external add : t -> domid -> unit = "stub_xl_device_console_add" -end - -module Device_disk : sig - type t = - { - backend_domid : domid; - physpath : string; - phystype : disk_phystype; - virtpath : string; - unpluggable : bool; - readwrite : bool; - is_cdrom : bool; - } - external add : t -> domid -> unit = "stub_xl_device_disk_add" - external del : t -> domid -> unit = "stub_xl_device_disk_del" -end - -module Device_nic : sig - type t = - { - backend_domid : domid; - devid : int; - mtu : int; - model : string; - mac : int array; - bridge : string; - ifname : string; - script : string; - nictype : nic_type; - } - external add : t -> domid -> unit = "stub_xl_device_nic_add" - external del : t -> domid -> unit = "stub_xl_device_nic_del" -end - -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 - -module Physinfo : sig - type t = - { - threads_per_core : int; - cores_per_socket : int; - max_cpu_id : int; - nr_cpus : int; - cpu_khz : int; - total_pages : int64; - free_pages : int64; - scrub_pages : int64; - nr_nodes : int; - hwcap : int32 array; - physcap : int32; - } - external get : unit -> t = "stub_xl_physinfo" -end - -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 - module Topologyinfo : sig type t = { diff --git a/tools/ocaml/libs/xl/xl_stubs.c b/tools/ocaml/libs/xl/xl_stubs.c index 62b3e3dc91..3751fdc612 100644 --- a/tools/ocaml/libs/xl/xl_stubs.c +++ b/tools/ocaml/libs/xl/xl_stubs.c @@ -39,7 +39,7 @@ typedef struct caml_gc { void *ptrs[64]; } caml_gc; -void log_vmessage(struct xentoollog_logger *logger, xentoollog_level level, +static void log_vmessage(struct xentoollog_logger *logger, xentoollog_level level, int errnoval, const char *context, const char *format, va_list al) { struct caml_logger *ologger = (struct caml_logger *) logger; @@ -48,7 +48,7 @@ void log_vmessage(struct xentoollog_logger *logger, xentoollog_level level, 2048 - ologger->log_offset, format, al); } -void log_destroy(struct xentoollog_logger *logger) +static void log_destroy(struct xentoollog_logger *logger) { } @@ -89,7 +89,7 @@ static void gc_free(caml_gc *gc) } } -void failwith_xl(char *fname, struct caml_logger *lg) +static void failwith_xl(char *fname, struct caml_logger *lg) { char *s; s = (lg) ? lg->log_buf : fname; @@ -130,154 +130,73 @@ static int string_string_tuple_array_val (caml_gc *gc, char ***c_val, value v) #endif -#include "_libxl_types.inc" - -static int device_disk_val(caml_gc *gc, libxl_device_disk *c_val, value v) +static value Val_mac (libxl_mac *c_val) { - CAMLparam1(v); - - c_val->backend_domid = Int_val(Field(v, 0)); - c_val->pdev_path = dup_String_val(gc, Field(v, 1)); - c_val->vdev = dup_String_val(gc, Field(v, 2)); - c_val->backend = (Int_val(Field(v, 3))); - c_val->format = (Int_val(Field(v, 4))); - c_val->unpluggable = Bool_val(Field(v, 5)); - c_val->readwrite = Bool_val(Field(v, 6)); - c_val->is_cdrom = Bool_val(Field(v, 7)); - - CAMLreturn(0); -} - -static int device_nic_val(caml_gc *gc, libxl_device_nic *c_val, value v) -{ - CAMLparam1(v); + CAMLparam0(); + CAMLlocal1(v); int i; - int ret = 0; - c_val->backend_domid = Int_val(Field(v, 0)); - c_val->devid = Int_val(Field(v, 1)); - c_val->mtu = Int_val(Field(v, 2)); - c_val->model = dup_String_val(gc, Field(v, 3)); - - if (Wosize_val(Field(v, 4)) != 6) { - ret = 1; - goto out; - } - for (i = 0; i < 6; i++) - c_val->mac[i] = Int_val(Field(Field(v, 4), i)); - /* not handling c_val->ip */ - c_val->bridge = dup_String_val(gc, Field(v, 5)); - c_val->ifname = dup_String_val(gc, Field(v, 6)); - c_val->script = dup_String_val(gc, Field(v, 7)); - c_val->nictype = (Int_val(Field(v, 8))) + LIBXL_NIC_TYPE_IOEMU; + v = caml_alloc_tuple(6); -out: - CAMLreturn(ret); -} - -static int device_console_val(caml_gc *gc, libxl_device_console *c_val, value v) -{ - CAMLparam1(v); + for(i=0; i<6; i++) + Store_field(v, i, Val_int((*c_val)[i])); - c_val->backend_domid = Int_val(Field(v, 0)); - c_val->devid = Int_val(Field(v, 1)); - c_val->consback = (Int_val(Field(v, 2))) + LIBXL_CONSOLE_BACKEND_XENCONSOLED; - - CAMLreturn(0); -} - -static int device_vkb_val(caml_gc *gc, libxl_device_vkb *c_val, value v) -{ - CAMLparam1(v); - - c_val->backend_domid = Int_val(Field(v, 0)); - c_val->devid = Int_val(Field(v, 1)); - - CAMLreturn(0); + CAMLreturn(v); } -static int device_vfb_val(caml_gc *gc, libxl_device_vfb *c_val, value v) +static int Mac_val(caml_gc *gc, struct caml_logger *lg, libxl_mac *c_val, value v) { CAMLparam1(v); + int i; - c_val->backend_domid = Int_val(Field(v, 0)); - c_val->devid = Int_val(Field(v, 1)); - c_val->vnc = Bool_val(Field(v, 2)); - c_val->vnclisten = dup_String_val(gc, Field(v, 3)); - c_val->vncpasswd = dup_String_val(gc, Field(v, 4)); - c_val->vncdisplay = Int_val(Field(v, 5)); - c_val->keymap = dup_String_val(gc, Field(v, 6)); - c_val->sdl = Bool_val(Field(v, 7)); - c_val->opengl = Bool_val(Field(v, 8)); - c_val->display = dup_String_val(gc, Field(v, 9)); - c_val->xauthority = dup_String_val(gc, Field(v, 10)); + for(i=0; i<6; i++) + (*c_val)[i] = Int_val(Field(v, i)); CAMLreturn(0); } -static int device_pci_val(caml_gc *gc, libxl_device_pci *c_val, value v) +static value Val_uuid (libxl_uuid *c_val) { - CAMLparam1(v); + CAMLparam0(); + CAMLlocal1(v); + uint8_t *uuid = libxl_uuid_bytearray(c_val); + int i; - c_val->func = Int_val(Field(v, 0)); - c_val->dev = Int_val(Field(v, 1)); - c_val->bus = Int_val(Field(v, 2)); + v = caml_alloc_tuple(16); - c_val->domain = Int_val(Field(v, 3)); - c_val->vdevfn = Int_val(Field(v, 4)); - c_val->msitranslate = Bool_val(Field(v, 5)); - c_val->power_mgmt = Bool_val(Field(v, 6)); + for(i=0; i<16; i++) + Store_field(v, i, Val_int(uuid[i])); - CAMLreturn(0); + CAMLreturn(v); } -static int sched_credit_val(caml_gc *gc, libxl_sched_credit *c_val, value v) +static int Uuid_val(caml_gc *gc, struct caml_logger *lg, libxl_uuid *c_val, value v) { CAMLparam1(v); - c_val->weight = Int_val(Field(v, 0)); - c_val->cap = Int_val(Field(v, 1)); - CAMLreturn(0); -} - -static value Val_sched_credit(libxl_sched_credit *c_val) -{ - CAMLparam0(); - CAMLlocal1(v); - - v = caml_alloc_tuple(2); + int i; + uint8_t *uuid = libxl_uuid_bytearray(c_val); - Store_field(v, 0, Val_int(c_val->weight)); - Store_field(v, 1, Val_int(c_val->cap)); + for(i=0; i<16; i++) + uuid[i] = Int_val(Field(v, i)); - CAMLreturn(v); + CAMLreturn(0); } -static value Val_physinfo(libxl_physinfo *c_val) +static value Val_hwcap(libxl_hwcap *c_val) { CAMLparam0(); - CAMLlocal2(v, hwcap); + CAMLlocal1(hwcap); int i; hwcap = caml_alloc_tuple(8); for (i = 0; i < 8; i++) - Store_field(hwcap, i, caml_copy_int32(c_val->hw_cap[i])); - - v = caml_alloc_tuple(11); - Store_field(v, 0, Val_int(c_val->threads_per_core)); - Store_field(v, 1, Val_int(c_val->cores_per_socket)); - Store_field(v, 2, Val_int(c_val->max_cpu_id)); - Store_field(v, 3, Val_int(c_val->nr_cpus)); - Store_field(v, 4, Val_int(c_val->cpu_khz)); - Store_field(v, 5, caml_copy_int64(c_val->total_pages)); - Store_field(v, 6, caml_copy_int64(c_val->free_pages)); - Store_field(v, 7, caml_copy_int64(c_val->scrub_pages)); - Store_field(v, 8, Val_int(c_val->nr_nodes)); - Store_field(v, 9, hwcap); - Store_field(v, 10, caml_copy_int32(c_val->phys_cap)); + Store_field(hwcap, i, caml_copy_int32((*c_val)[i])); - CAMLreturn(v); + CAMLreturn(hwcap); } +#include "_libxl_types.inc" + static value Val_topologyinfo(libxl_topologyinfo *c_val) { CAMLparam0(); @@ -308,7 +227,7 @@ value stub_xl_device_disk_add(value info, value domid) int ret; INIT_STRUCT(); - device_disk_val(&gc, &c_info, info); + device_disk_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_disk_add(ctx, Int_val(domid), &c_info); @@ -325,7 +244,7 @@ value stub_xl_device_disk_del(value info, value domid) int ret; INIT_STRUCT(); - device_disk_val(&gc, &c_info, info); + device_disk_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_disk_del(ctx, Int_val(domid), &c_info, 0); @@ -342,7 +261,7 @@ value stub_xl_device_nic_add(value info, value domid) int ret; INIT_STRUCT(); - device_nic_val(&gc, &c_info, info); + device_nic_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_nic_add(ctx, Int_val(domid), &c_info); @@ -359,7 +278,7 @@ value stub_xl_device_nic_del(value info, value domid) int ret; INIT_STRUCT(); - device_nic_val(&gc, &c_info, info); + device_nic_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_nic_del(ctx, Int_val(domid), &c_info, 0); @@ -376,7 +295,7 @@ value stub_xl_device_console_add(value info, value domid) int ret; INIT_STRUCT(); - device_console_val(&gc, &c_info, info); + device_console_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_console_add(ctx, Int_val(domid), &c_info); @@ -393,7 +312,7 @@ value stub_xl_device_vkb_add(value info, value domid) int ret; INIT_STRUCT(); - device_vkb_val(&gc, &c_info, info); + device_vkb_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_vkb_add(ctx, Int_val(domid), &c_info); @@ -441,7 +360,7 @@ value stub_xl_device_vfb_add(value info, value domid) int ret; INIT_STRUCT(); - device_vfb_val(&gc, &c_info, info); + device_vfb_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_vfb_add(ctx, Int_val(domid), &c_info); @@ -489,7 +408,7 @@ value stub_xl_device_pci_add(value info, value domid) int ret; INIT_STRUCT(); - device_pci_val(&gc, &c_info, info); + device_pci_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_pci_add(ctx, Int_val(domid), &c_info); @@ -507,7 +426,7 @@ value stub_xl_device_pci_remove(value info, value domid) int ret; INIT_STRUCT(); - device_pci_val(&gc, &c_info, info); + device_pci_val(&gc, &lg, &c_info, info); INIT_CTX(); ret = libxl_device_pci_remove(ctx, Int_val(domid), &c_info, 0); @@ -548,7 +467,7 @@ value stub_xl_button_press(value domid, value button) CAMLreturn(Val_unit); } -value stub_xl_physinfo(value unit) +value stub_xl_physinfo_get(value unit) { CAMLparam1(unit); CAMLlocal1(physinfo); @@ -561,8 +480,8 @@ value stub_xl_physinfo(value unit) if (ret != 0) failwith_xl("physinfo", &lg); FREE_CTX(); - - physinfo = Val_physinfo(&c_physinfo); + + physinfo = Val_physinfo(&gc, &lg, &c_physinfo); CAMLreturn(physinfo); } @@ -579,7 +498,7 @@ value stub_xl_topologyinfo(value unit) if (ret != 0) failwith_xl("topologyinfo", &lg); FREE_CTX(); - + topologyinfo = Val_topologyinfo(&c_topologyinfo); CAMLreturn(topologyinfo); } @@ -597,8 +516,8 @@ value stub_xl_sched_credit_domain_get(value domid) if (ret != 0) failwith_xl("sched_credit_domain_get", &lg); FREE_CTX(); - - scinfo = Val_sched_credit(&c_scinfo); + + scinfo = Val_sched_credit(&gc, &lg, &c_scinfo); CAMLreturn(scinfo); } @@ -609,14 +528,14 @@ value stub_xl_sched_credit_domain_set(value domid, value scinfo) int ret; INIT_STRUCT(); - sched_credit_val(&gc, &c_scinfo, scinfo); + sched_credit_val(&gc, &lg, &c_scinfo, scinfo); INIT_CTX(); ret = libxl_sched_credit_domain_set(ctx, Int_val(domid), &c_scinfo); if (ret != 0) failwith_xl("sched_credit_domain_set", &lg); FREE_CTX(); - + CAMLreturn(Val_unit); }