From 9a5ba600dda432257fab62c4d7dfa91e3b7db58d Mon Sep 17 00:00:00 2001 From: Kamala Narasimhan Date: Mon, 23 Feb 2009 15:13:32 -0500 Subject: [PATCH] Minor change to print right data when XEN_WMI_DEBUG is enabled. --- drivers/xen/acpi-wmi/acpi-wmi.c | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/drivers/xen/acpi-wmi/acpi-wmi.c b/drivers/xen/acpi-wmi/acpi-wmi.c index e1f04163..90d1e3f4 100644 --- a/drivers/xen/acpi-wmi/acpi-wmi.c +++ b/drivers/xen/acpi-wmi/acpi-wmi.c @@ -143,11 +143,18 @@ int xen_wmi_copy_output_buffer(struct acpi_buffer *acpi_buf, xen_wmi_buffer_t *u void xen_wmi_print_buffer(struct acpi_buffer *acpi_buf) { int count; + union acpi_object *acpi_obj = acpi_buf->pointer; + + if ( acpi_obj == NULL || acpi_obj->type != ACPI_TYPE_BUFFER ) + { + printk("XEN WMI: Unsupported output buffer data!\n"); + return ; + } - printk("XEN WMI: Output buffer length is - %d\n", acpi_buf->buffer.length); + printk("XEN WMI: Output buffer length is - %d\n", acpi_obj->buffer.length); printk("XEN WMI: Buffer: "); - for (count=0; count < acpi_buf->buffer.length; count++) - printk("%d ", ((byte *)(acpi_buf->buffer.pointer))[count]); + for (count=0; count < acpi_obj->buffer.length; count++) + printk("%d ", ((byte *)(acpi_obj->buffer.pointer))[count]); printk("\n"); } -- 2.39.5