Hi Leif, On Tue, Mar 01, 2016 at 04:42:18PM +0100, Leif Liddy wrote: > Do you know how I could print out the the name or id of the ACPI > device from the acpi_device pointer? printk("acpi_dev_name=%s\n", acpi_dev_name(adev)); https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/include/linux/acpi.h#n83 https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/include/acpi/acpi_bus.h#n354 Best regards, Lukas -- 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