[PATCH v6 13/17] ARM64 / ACPI: Add GICv2 specific ACPI boot support

2015-01-04 Thread Hanjun Guo
From: Tomasz Nowicki ACPI kernel uses MADT table for proper GIC initialization. It needs to parse GIC related subtables, collect CPU interface and distributor addresses and call driver initialization function (which is hardware abstraction agnostic). In a similar way, FDT initialize GICv1/2.

[PATCH v6 13/17] ARM64 / ACPI: Add GICv2 specific ACPI boot support

2015-01-04 Thread Hanjun Guo
From: Tomasz Nowicki tomasz.nowi...@linaro.org ACPI kernel uses MADT table for proper GIC initialization. It needs to parse GIC related subtables, collect CPU interface and distributor addresses and call driver initialization function (which is hardware abstraction agnostic). In a similar way,