aboutsummaryrefslogtreecommitdiffstats
path: root/tools/ocaml
diff options
context:
space:
mode:
authorIan Campbell <ian.campbell@citrix.com>2012-01-31 16:34:38 +0000
committerIan Campbell <ian.campbell@citrix.com>2012-01-31 16:34:38 +0000
commit46f200f5e3dbc3d3f0e8ab2d11012bd6fda30ff4 (patch)
treeb5d7417f3d806c2841585640556058d13f26adba /tools/ocaml
parent292f8c116250eed310e35bdee25b339c3d6c9c84 (diff)
downloadxen-46f200f5e3dbc3d3f0e8ab2d11012bd6fda30ff4.tar.gz
xen-46f200f5e3dbc3d3f0e8ab2d11012bd6fda30ff4.tar.bz2
xen-46f200f5e3dbc3d3f0e8ab2d11012bd6fda30ff4.zip
libxl: remove libxl_device_model_info.
All that is left here is the target domain's domid which we can pass around as a parameter. Signed-off-by: Ian Campbell <ian.campbell@citrix.com> Acked-by: Ian Jackson <ian.jackson@eu.citrix.com> Committed-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Diffstat (limited to 'tools/ocaml')
-rw-r--r--tools/ocaml/libs/xl/genwrap.py1
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/ocaml/libs/xl/genwrap.py b/tools/ocaml/libs/xl/genwrap.py
index 427b336266..4e318bebc8 100644
--- a/tools/ocaml/libs/xl/genwrap.py
+++ b/tools/ocaml/libs/xl/genwrap.py
@@ -266,7 +266,6 @@ if __name__ == '__main__':
"cpupoolinfo",
"domain_create_info",
"domain_build_info",
- "device_model_info",
"vcpuinfo",
"topologyinfo",
"event",