[PATCH v6 09/17] ACPI / table: Print GIC information when MADT is parsed

2015-01-04 Thread Hanjun Guo
When MADT is parsed, print GIC information to make the boot log look pretty: ACPI: GICC (acpi_id[0x] address[e112f000] MPIDR[0x0] enabled) ACPI: GICC (acpi_id[0x0001] address[e112f000] MPIDR[0x1] enabled) ... ACPI: GICC (acpi_id[0x0201] address[e112f000] MPIDR[0x201]

[PATCH v6 09/17] ACPI / table: Print GIC information when MADT is parsed

2015-01-04 Thread Hanjun Guo
When MADT is parsed, print GIC information to make the boot log look pretty: ACPI: GICC (acpi_id[0x] address[e112f000] MPIDR[0x0] enabled) ACPI: GICC (acpi_id[0x0001] address[e112f000] MPIDR[0x1] enabled) ... ACPI: GICC (acpi_id[0x0201] address[e112f000] MPIDR[0x201]