[RFC PATCH v4 07/13] ARM: ux500: use remapped PPI interrupts for local timer
From: Marc Zyngier <hidden>
Date: 2011-05-27 16:27:45
Subsystem:
arm port, arm/nomadik/ux500 architectures, the rest · Maintainers:
Russell King, Linus Walleij, Linus Torvalds