diff -r ff1b80ccecd9 tools/libxl/libxl.c --- a/tools/libxl/libxl.c Fri Dec 17 16:12:37 2010 +0000 +++ b/tools/libxl/libxl.c Fri Dec 17 15:40:35 2010 -0600 @@ -1256,7 +1256,7 @@ int num = 0, i; flexarray_t *dm_args; int nb; - libxl_device_disk *disks; + libxl_device_disk *disks = NULL; dm_args = flexarray_make(16, 1); if (!dm_args)