diff --git a/hw/xen_machine_pv.c b/hw/xen_machine_pv.c
index 162f88db33..586214d8ba 100644
--- a/hw/xen_machine_pv.c
+++ b/hw/xen_machine_pv.c
@@ -29,9 +29,6 @@
 #include "xen_backend.h"
 #include "xen_domainbuild.h"
 
-uint32_t xen_domid;
-enum xen_mode xen_mode = XEN_EMULATE;
-
 static void xen_init_pv(ram_addr_t ram_size,
 			const char *boot_device,
 			const char *kernel_filename,
diff --git a/kvm-all.c b/kvm-all.c
index 534ead060d..40b5a51f5e 100644
--- a/kvm-all.c
+++ b/kvm-all.c
@@ -51,8 +51,6 @@ typedef struct KVMSlot
 
 typedef struct kvm_dirty_log KVMDirtyLog;
 
-int kvm_allowed = 0;
-
 struct KVMState
 {
     KVMSlot slots[32];
diff --git a/vl.c b/vl.c
index a2869b8dbe..d9fc0cc740 100644
--- a/vl.c
+++ b/vl.c
@@ -258,6 +258,10 @@ uint8_t qemu_uuid[16];
 static QEMUBootSetHandler *boot_set_handler;
 static void *boot_set_opaque;
 
+int kvm_allowed = 0;
+uint32_t xen_domid;
+enum xen_mode xen_mode = XEN_EMULATE;
+
 #ifdef SIGRTMIN
 #define SIG_IPI (SIGRTMIN+4)
 #else