[PATCH v2 10/15] ARM: highbank: convert to twd_local_timer_register() interface
From: Russell King - ARM Linux <hidden> Date: 2012-01-14 08:46:30
On Sat, Jan 14, 2012 at 10:41:29AM +0800, Shawn Guo wrote:
This would just be an indication, since not only SGI but also PPI has
a read-only Interrupt Configuration Register. So does the patch below
make sense?
No, because Tegra can change the configuration of PPIs.