Graeme Russ 17659d7de9 Timer: Remove reset_timer_masked() 13 years ago
..
integrator 17659d7de9 Timer: Remove reset_timer_masked() 13 years ago
versatile 6d8962e814 Switch from archive libraries to partial linking 13 years ago
vexpress 4769be21cc Timer: Remove reset_timer() for non-Nios2 arches 13 years ago