Merge branch 'ppi-irq-core-for-rmk' of git://github.com/mzyngier/arm-platforms into...
authorRussell King <rmk+kernel@arm.linux.org.uk>
Sun, 23 Oct 2011 13:42:30 +0000 (14:42 +0100)
committerRussell King <rmk+kernel@arm.linux.org.uk>
Sun, 23 Oct 2011 13:42:30 +0000 (14:42 +0100)

Trivial merge