@@ -102,7 +102,7 @@ int libxl__domain_build_info_setdefault(libxl__gc *gc,
b_info->device_model_version =
LIBXL_DEVICE_MODEL_VERSION_QEMU_XEN_TRADITIONAL;
} else {
- b_info->device_model_version = libxl__default_device_model(gc);
+ b_info->device_model_version = LIBXL_DEVICE_MODEL_VERSION_QEMU_XEN;
}
} else {
b_info->device_model_version =
@@ -229,11 +229,6 @@ out:
return rc;
}
-libxl_device_model_version libxl__default_device_model(libxl__gc *gc)
-{
- return LIBXL_DEVICE_MODEL_VERSION_QEMU_XEN;
-}
-
int libxl__pci_numdevs(libxl__gc *gc)
{
return ERROR_NI;
@@ -2309,8 +2309,6 @@ _hidden char *libxl__json_object_to_json(libxl__gc *gc,
/* Based on /local/domain/$domid/dm-version xenstore key
* default is qemu xen traditional */
_hidden int libxl__device_model_version_running(libxl__gc *gc, uint32_t domid);
- /* Return the system-wide default device model */
-_hidden libxl_device_model_version libxl__default_device_model(libxl__gc *gc);
static inline
bool libxl__stubdomain_is_linux_running(libxl__gc *gc, uint32_t domid)
@@ -241,11 +241,6 @@ out:
return rc;
}
-libxl_device_model_version libxl__default_device_model(libxl__gc *gc)
-{
- return LIBXL_DEVICE_MODEL_VERSION_QEMU_XEN;
-}
-
int libxl__pci_numdevs(libxl__gc *gc)
{
DIR *dir;
@@ -108,11 +108,6 @@ out:
return rc;
}
-libxl_device_model_version libxl__default_device_model(libxl__gc *gc)
-{
- return LIBXL_DEVICE_MODEL_VERSION_QEMU_XEN_TRADITIONAL;
-}
-
int libxl__pci_numdevs(libxl__gc *gc)
{
return ERROR_NI;