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
..
cpu.c	Replace obsolete e-mail address	2011-04-27 19:38:09 +02:00
dram.c	Remove volatile qualifier in get_ram_size() calls	2011-07-17 17:11:53 +02:00
lowlevel_init.S	Replace obsolete e-mail address	2011-04-27 19:38:09 +02:00
Makefile	Replace obsolete e-mail address	2011-04-27 19:38:09 +02:00
timer.c	Timer: Remove reset_timer_masked()	2011-07-26 14:54:15 +02:00