Graeme Russ 17659d7de9 Timer: Remove reset_timer_masked() ... In some circumstances, reset_timer_masked() was called be timer_init() in order to perform architecture specific timer initialisation. In such cases, the required code in reset_timer_masked() has been moved into timer_init()		2011-07-26 14:54:15 +02:00
..
integrator	Timer: Remove reset_timer_masked()	2011-07-26 14:54:15 +02:00
versatile	Switch from archive libraries to partial linking	2010-11-17 21:02:18 +01:00
vexpress	Timer: Remove reset_timer() for non-Nios2 arches	2011-07-26 14:53:30 +02:00