diff options
| author | Roger Pau Monne <roger.pau@citrix.com> | 2012-07-23 13:09:40 +0100 |
|---|---|---|
| committer | Roger Pau Monne <roger.pau@citrix.com> | 2012-07-23 13:09:40 +0100 |
| commit | ffdd57ae1b764c55692f2692e62e69d927fd1d7a (patch) | |
| tree | 729476ef41338ec777fb9ffcb87e24e6d5ece06b /tools/ocaml | |
| parent | 58f02be6b19f9f13a97bf7e17b2c574151193117 (diff) | |
| download | xen-ffdd57ae1b764c55692f2692e62e69d927fd1d7a.tar.gz xen-ffdd57ae1b764c55692f2692e62e69d927fd1d7a.tar.bz2 xen-ffdd57ae1b764c55692f2692e62e69d927fd1d7a.zip | |
libxl: change ao_device_remove to ao_device
Introduce a new structure to track state of device backends, that will
be used in following patches on this series.
This structure if used for both device creation and device
destruction and removes libxl__ao_device_remove.
Signed-off-by: Roger Pau Monne <roger.pau@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'tools/ocaml')
| -rw-r--r-- | tools/ocaml/libs/xl/xenlight_stubs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ocaml/libs/xl/xenlight_stubs.c b/tools/ocaml/libs/xl/xenlight_stubs.c index c712b2bd01..53751b13a9 100644 --- a/tools/ocaml/libs/xl/xenlight_stubs.c +++ b/tools/ocaml/libs/xl/xenlight_stubs.c @@ -351,7 +351,7 @@ value stub_xl_device_vkb_destroy(value info, value domid) device_vkb_val(&gc, &lg, &c_info, info); INIT_CTX(); - ret = libxl_device_vkb_destroy(ctx, Int_val(domid), &c_info); + ret = libxl_device_vkb_destroy(ctx, Int_val(domid), &c_info, 0); if (ret != 0) failwith_xl("vkb_hard_shutdown", &lg); FREE_CTX(); @@ -405,7 +405,7 @@ value stub_xl_device_vfb_destroy(value info, value domid) device_vfb_val(&gc, &lg, &c_info, info); INIT_CTX(); - ret = libxl_device_vfb_destroy(ctx, Int_val(domid), &c_info); + ret = libxl_device_vfb_destroy(ctx, Int_val(domid), &c_info, 0); if (ret != 0) failwith_xl("vfb_hard_shutdown", &lg); FREE_CTX(); |