tree 6197343d6c335c7b682b70dac173c1b39e171a53
parent 1abd328ee5e2e870fa035e7882e7a278127b4ccf
author Changhwan Youn <chaos.youn@samsung.com> 1317715378 +0900
committer Kukjin Kim <kgene.kim@samsung.com> 1317720899 +0900

ARM: EXYNOS4: Add support PPI in external GIC

To support PPI in external GIC of EXYNOS4 SoCs,
gic_arch_extn.irq_eoi, irq_unmask and irq_mask are
fixed. This patch is necessary because external GIC of EXYNOS4
cannot support register banking.

Signed-off-by: Changhwan Youn <chaos.youn@samsung.com>
Signed-off-by: Kukjin Kim <kgene.kim@samsung.com>