Graeme Russ 4769be21cc Timer: Remove reset_timer() for non-Nios2 arches		2011-07-26 14:53:30 +02:00
..
Makefile	…
gpio.c	…
reset.S	…
timer.c	Timer: Remove reset_timer() for non-Nios2 arches	2011-07-26 14:53:30 +02:00