On 18 May 2015 at 20:36, Julien Grall <julien.grall@citrix.com> wrote:
Hi Parth,

On 17/05/15 21:03, Parth Dixit wrote:
> From: Naresh Bhat <naresh.bhat@linaro.org>
>
> When MADT is parsed, print GIC information to make the boot
> log look pretty.
>
> Signed-off-by: Hanjun Guo <hanjun.guo@linaro.org>
> Signed-off-by: Tomasz Nowicki <tomasz.nowicki@linaro.org>
> Signed-off-by: Naresh Bhat <naresh.bhat@linaro.org>
> ---
>  xen/drivers/acpi/tables.c | 39 +++++++++++++++++++++++++++++++++++++++
>  1 file changed, 39 insertions(+)
>
> diff --git a/xen/drivers/acpi/tables.c b/xen/drivers/acpi/tables.c
> index 1beca79..684d8c9 100644
> --- a/xen/drivers/acpi/tables.c
> +++ b/xen/drivers/acpi/tables.c
> @@ -190,6 +190,45 @@ void __init acpi_table_print_madt_entry(struct acpi_subtable_header *header)
>               }
>               break;
>
> +    case ACPI_MADT_TYPE_GENERIC_INTERRUPT:
> +        {
> +            struct acpi_madt_generic_interrupt *p =
> +                (struct acpi_madt_generic_interrupt *)header;
> +            printk(KERN_INFO PREFIX
> +                "GIC (acpi_id[0x%04x] gic_id[0x%04x] %s)\n",
> +                p->uid, p->gic_id,
> +                (p->flags & ACPI_MADT_ENABLED) ? "enabled" : "disabled");

Printk indentation:

printk(KERN_INFO PREFIX
       "GIC ...
       ...);

Also, it seems that the indentation doesn't match the rest of the switch
case.

> +        }
> +        break;
> +
> +    case ACPI_MADT_TYPE_GENERIC_DISTRIBUTOR:
> +        {
> +            struct acpi_madt_generic_distributor *p =
> +                (struct acpi_madt_generic_distributor *)header;
> +            printk(KERN_INFO PREFIX
> +                "GIC Distributor (id[0x%04x] address[0x%08llx] gsi_base[%d])\n",
> +                p->gic_id, (long long unsigned int)p->base_address, p->global_irq_base);

Ditto

> +        }
> +        break;
> +
> +    case ACPI_MADT_TYPE_GIC_MSI_FRAME:
> +        {
> +            struct acpi_madt_gic_msi_frame *p =
> +                (struct acpi_madt_gic_msi_frame *)header;
> +            printk("GIC MSI Frame (address[0x%08llx] msi_fame_id[%d])\n",
> +                (long long unsigned int)p->base_address, p->gic_msi_frame_id);

Ditto & missing KERN_INFO PREFIX

> +        }
> +        break;
> +
> +    case ACPI_MADT_TYPE_GIC_REDISTRIBUTOR:
> +        {
> +            struct acpi_madt_gic_redistributor *p =
> +                (struct acpi_madt_gic_redistributor *)header;
> +            printk("GIC Redistributor (address[0x%08llx] region_size[0x%x])\n",
> +                (long long unsigned int)p->base_address, p->region_size);

Ditto & missing KERN_INFO PREFIX
 will take care in next patchset.

> +        }
> +        break;
> +
>       default:
>               printk(KERN_WARNING PREFIX
>                      "Found unsupported MADT entry (type = %#x)\n",
>

Regards,

--
Julien Grall