tree d06580b3d38b98ed20ece8592f151168d4c9dc7a
parent 31fe26e6db338e6d6b01e8f9d49eb1b19aaf5bbf
author David Woodhouse <David.Woodhouse@intel.com> 1360080846 +0000
committer Kevin O'Connor <kevin@koconnor.net> 1360721734 -0500

Use find_pmtimer() after copying Xen ACPI tables

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