From 6c7a8976c446029af4fb5a3ac54eed56829676ef Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Tue, 25 Jan 2011 18:22:09 +0000 Subject: libxl: fix segfault on device assignement Fix a xl/libxl segfault when assigning a device to the guest (bug http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=1713). Signed-off-by: Gianni Tedesco Signed-off-by: Stefano Stabellini Acked-by: Ian Campbell Committed-by: Ian Jackson --- tools/libxl/libxl_pci.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/libxl/libxl_pci.c') diff --git a/tools/libxl/libxl_pci.c b/tools/libxl/libxl_pci.c index 349950c655..ba59650fde 100644 --- a/tools/libxl/libxl_pci.c +++ b/tools/libxl/libxl_pci.c @@ -268,7 +268,7 @@ static int libxl_create_pci_backend(libxl__gc *gc, uint32_t domid, libxl_device_ for (i = 0; i < num; i++, pcidev++) libxl_create_pci_backend_device(gc, back, i, pcidev); - flexarray_vappend(back, "num_devs", libxl__sprintf(gc, "%d", num)); + flexarray_vappend(back, "num_devs", libxl__sprintf(gc, "%d", num), NULL); flexarray_vappend(front, "backend-id", libxl__sprintf(gc, "%d", 0), -- cgit v1.2.3