On Wednesday, November 06, 2013 02:45:18 PM Tony Luck wrote: > 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 Well, OK. Who's going to maintain this file? Rafael -- 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