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: http://git.openpandora.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=88b6fc8c57055590d8e9538f6faa85483db8c366;p=pandora-kernel.git

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

88b6fc8c57055590d8e9538f6faa85483db8c366
Reading git-diff-tree failed