[SeaBIOS] [PATCH v2 09/19] Use find_pmtimer() after copying Xen ACPI tables

[David Woodhouse]

From: David Woodhouse

Signed-off-by: David Woodhouse 
---
 src/xen.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/xen.c b/src/xen.c
index c9759f0..2e6849c 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

@@ -120,6 +121,8 @@ void xen_biostable_setup(void)
     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)