1.1 --- a/tools/ioemu/patches/acpi-timer-support	Fri Aug 04 11:35:51 2006 +0100
     1.2 +++ b/tools/ioemu/patches/acpi-timer-support	Fri Aug 04 11:36:07 2006 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  Index: ioemu/hw/piix4acpi.c
     1.5  ===================================================================
     1.6  --- ioemu.orig/hw/piix4acpi.c	2006-08-04 10:57:28.922994985 +0100
     1.7 -+++ ioemu/hw/piix4acpi.c	2006-08-04 11:23:48.127374982 +0100
     1.8 ++++ ioemu/hw/piix4acpi.c	2006-08-04 11:35:15.177574467 +0100
     1.9  @@ -24,31 +24,30 @@
    1.10    */
    1.11   
    1.12 @@ -50,7 +50,7 @@ Index: ioemu/hw/piix4acpi.c
    1.13       uint16_t pm1_enable; /* pm1a_EVT_BLK+2 */
    1.14       uint16_t pm1_control; /* pm1a_ECNT_BLK */
    1.15       uint32_t pm1_timer; /* pmtmr_BLK */
    1.16 -+    uint64_t old_vmck_ticks /* using vm_clock counter */
    1.17 ++    uint64_t old_vmck_ticks; /* using vm_clock counter */
    1.18   } PCIAcpiState;
    1.19   
    1.20   static PCIAcpiState *acpi_state;