#include "trace.h"
#include CONFIG_DEVICES
+#ifdef CONFIG_XEN_BUS
+#include "hw/xen/xen-legacy-backend.h"
+#include "hw/xen/xen-bus.h"
+#endif
+
/*
* Helper for setting model-id for CPU models that changed model-id
* depending on QEMU versions up to QEMU 2.4.
memory_region_init_io(ioportF0_io, NULL, &ioportF0_io_ops, NULL, "ioportF0", 1);
memory_region_add_subregion(isa_bus->address_space_io, 0xf0, ioportF0_io);
+#ifdef CONFIG_XEN_BUS
+ if (xen_mode != XEN_DISABLED) {
+ /* Initialize backend core & drivers */
+ xen_bus_init();
+
+ if (xen_be_init() != 0) {
+ error_report("xen backend core setup failed");
+ exit(1);
+ }
+ xen_be_register_common();
+ }
+#endif
+
+
/*
* Check if an HPET shall be created.
*
#include "hw/i386/apic-msidef.h"
#include "hw/xen/xen_native.h"
#include "hw/xen/xen_backend_ops.h"
-#include "hw/xen/xen-legacy-backend.h"
-#include "hw/xen/xen-bus.h"
#include "hw/xen/xen-x86.h"
#include "qapi/error.h"
#include "qapi/qapi-commands-migration.h"
QLIST_INIT(&state->dev_list);
device_listener_register(&state->device_listener);
- xen_bus_init();
-
- /* Initialize backend core & drivers */
- if (xen_be_init() != 0) {
- error_report("xen backend core setup failed");
- goto err;
- }
- xen_be_register_common();
-
QLIST_INIT(&xen_physmap);
xen_read_physmap(state);