# HG changeset patch
# User Tim Deegan <Tim.Deegan@xxxxxxxxxx>
# Date 1275473757 -3600
# Node ID 39014be2745a52964fe7cdbb9bdc29e48b1b1fbc
# Parent  f86930e17ed9caf478b1498c855c82caaeaf23ff
Add the USE_PLATFORM_TIMER flag to the FADT, to make w2k3 use the PMTIMER
because the default timesource (TSC) drifts under load.

The flag is only defined in ACPI 3.0, and we provide ACPI 2.0 tables,
but Windows seems happy enough to obey it anyway.

Signed-off-by: Tim Deegan <Tim.Deegan@xxxxxxxxxx>

diff -r f86930e17ed9 -r 39014be2745a tools/firmware/hvmloader/acpi/acpi2_0.h
--- a/tools/firmware/hvmloader/acpi/acpi2_0.h	Wed Jun 02 11:15:52 2010 +0100
+++ b/tools/firmware/hvmloader/acpi/acpi2_0.h	Wed Jun 02 11:15:57 2010 +0100
@@ -255,6 +255,7 @@
 #define ACPI_SEALED_CASE    (1 << 11)
 #define ACPI_HEADLESS       (1 << 12)
 #define ACPI_CPU_SW_SLP     (1 << 13)
+#define ACPI_USE_PLATFORM_CLOCK (1 << 15)
 
 /*
  * Firmware ACPI Control Structure (FACS).
diff -r f86930e17ed9 -r 39014be2745a tools/firmware/hvmloader/acpi/static_tables.c
--- a/tools/firmware/hvmloader/acpi/static_tables.c	Wed Jun 02 11:15:52 2010 +0100
+++ b/tools/firmware/hvmloader/acpi/static_tables.c	Wed Jun 02 11:15:57 2010 +0100
@@ -70,7 +70,8 @@
     .iapc_boot_arch = ACPI_8042,
     .flags = (ACPI_PROC_C1 |
               ACPI_WBINVD |
-              ACPI_FIX_RTC | ACPI_TMR_VAL_EXT),
+              ACPI_FIX_RTC | ACPI_TMR_VAL_EXT |
+              ACPI_USE_PLATFORM_CLOCK),
 
     .reset_reg = {
         .address_space_id    = ACPI_SYSTEM_IO,