On Tue, 17 Nov 2015, shannon.z...@linaro.org wrote:
> From: Naresh Bhat <naresh.b...@linaro.org>
>
> When MADT is parsed, print GIC information to make the boot
> log look pretty.
>
> Signed-off-by: Hanjun Guo <hanjun....@linaro.org>
> Signed-off-by: Tomasz Nowicki <tomasz.nowi...@linaro.org>
> Signed-off-by: Naresh Bhat <naresh.b...@linaro.org>
> Signed-off-by: Shannon Zhao <shannon.z...@linaro.org>
> ---
> xen/drivers/acpi/tables.c | 24 ++++++++++++++++++++++++
> 1 file changed, 24 insertions(+)
>
> diff --git a/xen/drivers/acpi/tables.c b/xen/drivers/acpi/tables.c
> index 60c4ab1..6573175 100644
> --- a/xen/drivers/acpi/tables.c
> +++ b/xen/drivers/acpi/tables.c
> @@ -189,6 +189,30 @@ 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
> + "GICC (acpi_id[0x%04x] address[%llx]
> MPIDR[0x%llx] %s)\n",
> + p->uid, (long long unsigned int)p->base_address,
> + (long long unsigned int)p->arm_mpidr,
> + (p->flags & ACPI_MADT_ENABLED) ? "enabled" :
> "disabled");
PRIx64?
> + }
> + 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 (gic_id[0x%04x] address[%llx]
> gsi_base[%d])\n",
> + p->gic_id, (long long unsigned
> int)p->base_address,
> + p->global_irq_base);
ditto
> + }
> + break;
> +
> default:
> printk(KERN_WARNING PREFIX
> "Found unsupported MADT entry (type = %#x)\n",
> --
> 2.1.0
>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
