[PATCH] arm: omap4: allow disabling MPU local timer if 32K timer is enabled

[Russell King - ARM Linux]

On Sat, Feb 11, 2012 at 04:31:25PM +0800, Ming Lei wrote:
> With 32K gp timer, tick can be driven and system can run well, so
> allow MPU local timer to be disabled if someone requires it, otherwise
> MPU local timer is always chosen as the default clock_event_device.

The point being?

What if you want to use NO_HZ?