From: Roger Pau Monne Date: Fri, 22 Sep 2017 15:25:09 +0000 (+0100) Subject: libxl: set device model for PVH guests X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~1302 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=67adebb06c8e04874e376bda1d723fde178a19df;p=xen.git libxl: set device model for PVH guests PVH guests use the same device model selection as PV guests, because PVH guests only use the device model for the PV backends. Signed-off-by: Roger Pau Monné Acked-by: Ian Jackson --- diff --git a/tools/libxl/libxl_dm.c b/tools/libxl/libxl_dm.c index bf651006b4..e60d52ded7 100644 --- a/tools/libxl/libxl_dm.c +++ b/tools/libxl/libxl_dm.c @@ -648,6 +648,7 @@ static int libxl__build_device_model_args_old(libxl__gc *gc, flexarray_append(dm_args, b_info->extra[i]); flexarray_append(dm_args, "-M"); switch (b_info->type) { + case LIBXL_DOMAIN_TYPE_PVH: case LIBXL_DOMAIN_TYPE_PV: flexarray_append(dm_args, "xenpv"); for (i = 0; b_info->extra_pv && b_info->extra_pv[i] != NULL; i++) @@ -1407,6 +1408,7 @@ static int libxl__build_device_model_args_new(libxl__gc *gc, flexarray_append(dm_args, "-machine"); switch (b_info->type) { + case LIBXL_DOMAIN_TYPE_PVH: case LIBXL_DOMAIN_TYPE_PV: flexarray_append(dm_args, "xenpv"); for (i = 0; b_info->extra_pv && b_info->extra_pv[i] != NULL; i++)