diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2011-10-18 13:36:43 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2011-10-18 13:36:43 +0100 |
| commit | 6417c4560a1226aa926156150d3bc324a10ede41 (patch) | |
| tree | 7c83488e2d0515539e802bcfc6cfa74f131ed603 /tools/libxl/libxl.h | |
| parent | 00580c3a1aa502133cc72d830bdfdaf89ae22eb0 (diff) | |
| download | xen-6417c4560a1226aa926156150d3bc324a10ede41.tar.gz xen-6417c4560a1226aa926156150d3bc324a10ede41.tar.bz2 xen-6417c4560a1226aa926156150d3bc324a10ede41.zip | |
libxl: convert VFB 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>
Diffstat (limited to 'tools/libxl/libxl.h')
| -rw-r--r-- | tools/libxl/libxl.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/libxl/libxl.h b/tools/libxl/libxl.h index df27c88a25..e810d621e0 100644 --- a/tools/libxl/libxl.h +++ b/tools/libxl/libxl.h @@ -479,10 +479,11 @@ int libxl_device_vkb_add(libxl_ctx *ctx, uint32_t domid, libxl_device_vkb *vkb); int libxl_device_vkb_remove(libxl_ctx *ctx, uint32_t domid, libxl_device_vkb *vkb); int libxl_device_vkb_destroy(libxl_ctx *ctx, uint32_t domid, libxl_device_vkb *vkb); -void libxl_device_vfb_init(libxl_device_vfb *vfb, int dev_num); +/* Framebuffer */ +int libxl_device_vfb_init(libxl_ctx *ctx, libxl_device_vfb *vfb); int libxl_device_vfb_add(libxl_ctx *ctx, uint32_t domid, libxl_device_vfb *vfb); -int libxl_device_vfb_clean_shutdown(libxl_ctx *ctx, uint32_t domid); -int libxl_device_vfb_hard_shutdown(libxl_ctx *ctx, uint32_t domid); +int libxl_device_vfb_remove(libxl_ctx *ctx, uint32_t domid, libxl_device_vfb *vfb); +int libxl_device_vfb_destroy(libxl_ctx *ctx, uint32_t domid, libxl_device_vfb *vfb); int libxl_device_pci_add(libxl_ctx *ctx, uint32_t domid, libxl_device_pci *pcidev); int libxl_device_pci_remove(libxl_ctx *ctx, uint32_t domid, libxl_device_pci *pcidev, int force); |