Timer: Remove reset_timer() for non-Nios2 arches

[u-boot] / arch / arm / cpu / arm920t / ep93xx / timer.c

diff --git a/arch/arm/cpu/arm920t/ep93xx/timer.c b/arch/arm/cpu/arm920t/ep93xx/timer.c
index 4a0ce4da642081900ee94dcf731ae3b6e3dac089..f19ec611d11120554c6dbbeff3c794cf2a23b008 100644 (file)
--- a/arch/arm/cpu/arm920t/ep93xx/timer.c
+++ b/arch/arm/cpu/arm920t/ep93xx/timer.c
@@ -97,11 +97,6 @@ void reset_timer_masked(void)
        timer.ticks = 0;
 }
 
-void reset_timer(void)
-{
-       reset_timer_masked();
-}
-
 void __udelay(unsigned long usec)
 {
        unsigned long long target;