commit f34f069d68dadd4c1eba7df09dd8922ddc6f6a04
author David Woodhouse <David.Woodhouse@intel.com> Tue Feb 05 16:14:06 2013 +0000
committer Kevin O'Connor <kevin@koconnor.net> Tue Feb 12 21:15:34 2013 -0500
tree d06580b3d38b98ed20ece8592f151168d4c9dc7a
parent 31fe26e6db338e6d6b01e8f9d49eb1b19aaf5bbf

Use find_pmtimer() after copying Xen ACPI tables

Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>

src/xen.c

diff --git a/src/xen.c b/src/xen.c
index 32edcd1..569fcc0 100644
--- a/src/xen.c
+++ b/src/xen.c
@@ -10,6 +10,7 @@
 #include "memmap.h" // add_e820
 #include "types.h" // ASM32FLAT
 #include "util.h" // copy_acpi_rsdp
+#include "acpi.h" // find_pmtimer
 
 #define INFO_PHYSICAL_ADDRESS 0x00001000
 
@@ -123,6 +124,8 @@
     dprintf(1, "xen: copy BIOS tables...\n");
     for (i=0; i<info->tables_nr; i++)
         copy_table(tables[i]);
+
+    find_pmtimer();
 }
 
 void xen_ramsize_preinit(void)