K 10
svn:author
V 4
gber
K 8
svn:date
V 27
2012-01-02T09:53:47.199307Z
K 7
svn:log
V 81
Switch timers into idle mode when cpu is idle.

Obtained from:	Marvell, Semihalf

END