On Wed, Nov 6, 2013 at 2:06 PM, Rafael J. Wysocki <rjw@xxxxxxxxxxxxx> wrote: > I'm wondering what kernel you have checked, because drivers/acpi/acpi_extlog.c > is not present in the mainline or even in linux-next? It's in the "tip" tree ... and seems to be in next-20131106 -Tony -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html