diff --git a/src/arch/ppc/include/timer.h b/src/arch/ppc/include/timer.h
index 85bf1b81f4..9a2328f7cd 100644
--- a/src/arch/ppc/include/timer.h
+++ b/src/arch/ppc/include/timer.h
@@ -8,5 +8,6 @@
 unsigned get_hz(void);
 unsigned ticks_since_boot(void);
 void sleep_ticks(unsigned);
+void udelay(int);
 
 #endif