diff --git a/src/arch/ppc/lib/timer.c b/src/arch/ppc/lib/timer.c
index dee891af57..8b485b8d51 100644
--- a/src/arch/ppc/lib/timer.c
+++ b/src/arch/ppc/lib/timer.c
@@ -10,22 +10,12 @@ unsigned long get_hz(void)
 	return get_clock_speed();
 }
 
-#if 0
 unsigned long ticks_since_boot(void)
 {
 	extern unsigned long _get_ticks(void);
 	return _get_ticks();
 }
 
-void sleep_ticks(unsigned long ticks)
-{
-	unsigned long now = ticks_since_boot();
-	unsigned long then = ticks + now;
-	while(now < then)
-		now = ticks_since_boot();
-}
-#endif
-
 void udelay(int usecs)
 {
 	extern void _wait_ticks(unsigned long);