4 files changed, 5 insertions, 5 deletions
diff --git a/src/southbridge/intel/i82801ax/i82801ax.h b/src/southbridge/intel/i82801ax/i82801ax.h
index f9b4977c67..7df86d2f23 100644
--- a/src/southbridge/intel/i82801ax/i82801ax.h
+++ b/src/southbridge/intel/i82801ax/i82801ax.h
@@ -115,6 +115,6 @@ extern void i82801ax_enable(device_t dev);
 #define SMBUS_TIMEOUT		(10 * 1000 * 100)
 
 /* HPET, if present */
-#define HPET_ADDR		0xfed0000
+#define HPET_ADDR		0xfed00000
 
 #endif				/* SOUTHBRIDGE_INTEL_I82801AX_I82801AX_H */
diff --git a/src/southbridge/intel/i82801bx/i82801bx.h b/src/southbridge/intel/i82801bx/i82801bx.h
index 9705beed36..6d77f81985 100644
--- a/src/southbridge/intel/i82801bx/i82801bx.h
+++ b/src/southbridge/intel/i82801bx/i82801bx.h
@@ -115,7 +115,7 @@ extern void i82801bx_enable(device_t dev);
 #define SMBUS_TIMEOUT		(10 * 1000 * 100)
 
 /* HPET, if present */
-#define HPET_ADDR		0xfed0000
+#define HPET_ADDR		0xfed00000
 
 #endif				/* SOUTHBRIDGE_INTEL_I82801BX_I82801BX_H */
 
diff --git a/src/southbridge/intel/i82801dx/i82801dx_lpc.c b/src/southbridge/intel/i82801dx/i82801dx_lpc.c
index dc314fbcfb..6c2ef3c573 100644
--- a/src/southbridge/intel/i82801dx/i82801dx_lpc.c
+++ b/src/southbridge/intel/i82801dx/i82801dx_lpc.c
@@ -114,7 +114,7 @@ void i82801dx_1f0_misc(struct device *dev)
 
 static void enable_hpet(struct device *dev)
 {
-	const unsigned long hpet_address = 0xfed0000;
+	const unsigned long hpet_address = 0xfed00000;
 
 	u32 dword;
 	u32 code = (0 & 0x3);
@@ -130,7 +130,7 @@ static void enable_hpet(struct device *dev)
 	dword &= ~(3 << 15);	/* clear it */
 	dword |= (code << 15);
 
-	printk_debug("enabling HPET @0x%x\n", hpet_address | (code << 12));
+	printk_debug("enabling HPET @0x%lx\n", hpet_address | (code << 12));
 }
 
 static void lpc_init(struct device *dev)
diff --git a/src/southbridge/intel/i82801ex/i82801ex_lpc.c b/src/southbridge/intel/i82801ex/i82801ex_lpc.c
index 39e5343fd9..a8b48ae454 100644
--- a/src/southbridge/intel/i82801ex/i82801ex_lpc.c
+++ b/src/southbridge/intel/i82801ex/i82801ex_lpc.c
@@ -214,7 +214,7 @@ static void i82801ex_gpio_init(device_t dev)
 
 static void enable_hpet(struct device *dev)
 {
-const unsigned long hpet_address = 0xfed0000;
+	const unsigned long hpet_address = 0xfed00000;
 
 	uint32_t dword;
 	uint32_t code = (0 & 0x3);