-#define VMALLOCBASE 0xD000000000000000
-#define IOREGIONBASE 0xE000000000000000
-#define EEHREGIONBASE 0xA000000000000000
+#define VMALLOCBASE 0xD000000000000000UL
+#define IOREGIONBASE 0xE000000000000000UL
+#define EEHREGIONBASE 0xA000000000000000UL