Consistently use uint64_t for int properties
authorPaul Brook <paul@codesourcery.com>
Sun, 17 May 2009 13:55:55 +0000 (14:55 +0100)
committerPaul Brook <paul@codesourcery.com>
Sun, 17 May 2009 13:55:55 +0000 (14:55 +0100)
I apparently failed to do this properly on the first attempt.

Signed-off-by: Paul Brook <paul@codesourcery.com>

hw/qdev.c
hw/qdev.h

index a8de278..9ed6f85 100644 (file)
--- a/hw/qdev.c
+++ b/hw/qdev.c
@@ -33,7 +33,7 @@
 struct DeviceProperty {
     const char *name;
     union {
-        int i;
+        uint64_t i;
         void *ptr;
     } value;
     DeviceProperty *next;
@@ -120,7 +120,7 @@ static DeviceProperty *create_prop(DeviceState *dev, const char *name)
     return prop;
 }
 
-void qdev_set_prop_int(DeviceState *dev, const char *name, int value)
+void qdev_set_prop_int(DeviceState *dev, const char *name, uint64_t value)
 {
     DeviceProperty *prop;
 
index 210062a..5a34f51 100644 (file)
--- a/hw/qdev.h
+++ b/hw/qdev.h
@@ -33,7 +33,7 @@ DeviceState *qdev_create(void *bus, const char *name);
 void qdev_init(DeviceState *dev);
 
 /* Set properties between creation and init.  */
-void qdev_set_prop_int(DeviceState *dev, const char *name, int value);
+void qdev_set_prop_int(DeviceState *dev, const char *name, uint64_t value);
 void qdev_set_prop_ptr(DeviceState *dev, const char *name, void *value);
 void qdev_set_netdev(DeviceState *dev, NICInfo *nd);