X86 platform wmi: Also log GUID string when an event happens and debug is set

Output in log with debug=1:
ACPI: WMI: DEBUG Event INTEGER_TYPE - 65535
ACPI: WMI: DEBUG Event GUID: CC1A61AC-4256-41A3-B9E0-05A445ADE2F5

Signed-off-by: Thomas Renninger <trenn@suse.de>
CC: platform-driver-x86@vger.kernel.org
CC: mjg59@srcf.ucam.org
CC: corentin.chary@gmail.com
Signed-off-by: Carlos Corbacho <carlos@strangeworlds.co.uk>
Signed-off-by: Matthew Garrett <mjg@redhat.com>

1 files changed, 6 insertions, 0 deletions

diff --git a/drivers/platform/x86/wmi.c b/drivers/platform/x86/wmi.c
index e820f4cddb61..f16768db4468 100644
--- a/drivers/platform/x86/wmi.c
+++ b/drivers/platform/x86/wmi.c
@@ -880,6 +880,7 @@ static void acpi_wmi_notify(struct acpi_device *device, u32 event)
         struct guid_block *block;
         struct wmi_block *wblock;
         struct list_head *p;
+        char guid_string[37];
 
         list_for_each(p, &wmi_blocks.list) {
                 wblock = list_entry(p, struct wmi_block, list);
@@ -889,6 +890,11 @@ static void acpi_wmi_notify(struct acpi_device *device, u32 event)
                         (block->notify_id == event)) {
                         if (wblock->handler)
                                 wblock->handler(event, wblock->handler_data);
+                        if (debug_event) {
+                                wmi_gtoa(wblock->gblock.guid, guid_string);
+                                printk(KERN_INFO PREFIX "DEBUG Event GUID:"
+                                       " %s\n", guid_string);
+                        }
 
                         acpi_bus_generate_netlink_event(
                                 device->pnp.device_class, dev_name(&device->dev),