Consistently use uint64_t for int properties

I apparently failed to do this properly on the first attempt.

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

1 files changed, 1 insertions, 1 deletions

diff --git a/hw/qdev.h b/hw/qdev.h
index 210062a0a..5a34f5103 100644
--- 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);