tools/ocaml: Extend domain_create() to take arch_domainconfig
authorJon Ludlam <jonathan.ludlam@citrix.com>
Thu, 11 Jan 2018 17:47:59 +0000 (17:47 +0000)
committerWei Liu <wei.liu2@citrix.com>
Tue, 16 Jan 2018 18:34:04 +0000 (18:34 +0000)
commitb38d96f596c7c0bca5f07366b15186c435776e8c
tree2e396f32d93750cff8ed287e29290b5f183f8a20
parent9d683b5e375d360403c65ebb414f5edb63b0ed38
tools/ocaml: Extend domain_create() to take arch_domainconfig

No longer passing NULL into xc_domain_create() allows for the creation
of PVH guests.

Signed-off-by: Jon Ludlam <jonathan.ludlam@citrix.com>
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
tools/ocaml/libs/xc/xenctrl.ml
tools/ocaml/libs/xc/xenctrl.mli
tools/ocaml/libs/xc/xenctrl_stubs.c