...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@citrix.com>
#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).
.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,