Signed-off-by: Gerd Hoffmann kraxel@redhat.com --- src/q35-acpi-dsdt.dsl | 21 ++------------------- 1 files changed, 2 insertions(+), 19 deletions(-)
diff --git a/src/q35-acpi-dsdt.dsl b/src/q35-acpi-dsdt.dsl index e61f142..737a358 100644 --- a/src/q35-acpi-dsdt.dsl +++ b/src/q35-acpi-dsdt.dsl @@ -360,6 +360,8 @@ DefinitionBlock ( } }
+#include "acpi-dsdt-hpet.dsl" + Scope(_SB.PCI0) { Device (VGA) { Name (_ADR, 0x00020000) @@ -420,25 +422,6 @@ DefinitionBlock ( FDEN, 1 }
- /* High Precision Event Timer */ - Device(HPET) { - Name(_HID, EISAID("PNP0103")) - Name(_UID, 0) - Method (_STA, 0, NotSerialized) { - Return(0x0F) - } - Name(_CRS, ResourceTemplate() { - DWordMemory( - ResourceConsumer, PosDecode, MinFixed, MaxFixed, - NonCacheable, ReadWrite, - 0x00000000, - 0xFED00000, - 0xFED003FF, - 0x00000000, - 0x00000400 /* 1K memory: FED00000 - FED003FF */ - ) - }) - } /* Real-time clock */ Device (RTC) {