From: Marc Zyngier <marc.zyngier@arm.com>
Date: Sun, 23 Oct 2011 12:32:19 +0000 (+0100)
Subject: Merge commit '32cffdd' into ppi-irq-core-for-rmk
X-Git-Tag: v3.2-rc1~130^2~1^2~2
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=88b6fc8c57055590d8e9538f6faa85483db8c366;p=users%2Fwilly%2Flinux.git

Merge commit '32cffdd' into ppi-irq-core-for-rmk
---

88b6fc8c57055590d8e9538f6faa85483db8c366