libxl: convert VKB handling to device API
authorIan Campbell <ian.campbell@citrix.com>
Tue, 18 Oct 2011 12:36:43 +0000 (13:36 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 18 Oct 2011 12:36:43 +0000 (13:36 +0100)
commit00580c3a1aa502133cc72d830bdfdaf89ae22eb0
tree0ec2219f1c42752c2c826e44bb1e6efdccf8dce3
parent18e09f52f227bdca81c42a158da9948c3948e6a8
libxl: convert VKB handling to device API

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>
tools/libxl/libxl.c
tools/libxl/libxl.h
tools/libxl/xl_cmdimpl.c
tools/ocaml/libs/xl/genwrap.py
tools/ocaml/libs/xl/xenlight_stubs.c