//\r
// ACPI timer address\r
//\r
-#define CLOUDHV_ACPI_TIMER_IO_ADDRESS 0xb008\r
+#define CLOUDHV_ACPI_TIMER_IO_ADDRESS 0x0608\r
\r
//\r
// ACPI shutdown device address\r
//\r
-#define CLOUDHV_ACPI_SHUTDOWN_IO_ADDRESS 0x03c0\r
+#define CLOUDHV_ACPI_SHUTDOWN_IO_ADDRESS 0x0600\r
\r
//\r
// 32-bit MMIO memory hole base address\r