commit 717f2fcd7c1476480f2d1cf83b0ed345c0204167
Author: Andi Kleen <ak@linux.intel.com>
Date:   Fri Aug 15 16:19:20 2008 +0200

    Debugging patch for bug 11346

diff --git a/drivers/acpi/osl.c b/drivers/acpi/osl.c
index 235a138..7fa69ac 100644
--- a/drivers/acpi/osl.c
+++ b/drivers/acpi/osl.c
@@ -269,6 +269,8 @@ acpi_physical_address __init acpi_os_get_root_pointer(void)
 void __iomem *__init_refok
 acpi_os_map_memory(acpi_physical_address phys, acpi_size size)
 {
+	printk("acpi_os_map_memory phys %Lx size %Lu\n", (u64)phys, (u64)size);
+
 	if (phys > ULONG_MAX) {
 		printk(KERN_ERR PREFIX "Cannot map memory that high\n");
 		return NULL;