use uint32_t for xen_domid

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>

diff --git a/hw/xen.h b/hw/xen.h
index 4bcc0f13424814d1d47336090bcf1a5fba136b68..3c8da4105d6b471c83eea592ded7b4eac31e4b7b 100644 (file)
--- a/hw/xen.h
+++ b/hw/xen.h
@@ -14,7 +14,7 @@ enum xen_mode {
     XEN_ATTACH        // attach to xen domain created by xend
 };
 
-extern int xen_domid;
+extern uint32_t xen_domid;
 extern enum xen_mode xen_mode;
 
 #endif /* QEMU_HW_XEN_H */

diff --git a/hw/xen_machine_pv.c b/hw/xen_machine_pv.c
index df28be9bdeb30561c21a8ac4fca89c89904e98b5..6525856a70c421f8eb9eeb8587c46c2461006d67 100644 (file)
--- a/hw/xen_machine_pv.c
+++ b/hw/xen_machine_pv.c
@@ -28,7 +28,7 @@
 #include "boards.h"
 #include "xen_backend.h"
 
-int xen_domid;
+uint32_t xen_domid;
 enum xen_mode xen_mode = XEN_EMULATE;
 
 extern void init_blktap(void);