tools/ocaml: Expose arch_config in domaininfo
authorAndrew Cooper <andrew.cooper3@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)
commit9d683b5e375d360403c65ebb414f5edb63b0ed38
tree5ddbc0e068e70e58cf9891cfc0f8f5d790786619
parent7e98f196bc2450e8b229778f586ef960be1a3b71
tools/ocaml: Expose arch_config in domaininfo

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