--- a/os_timer.c	Fri Dec 22 13:16:40 2006 +0000
+++ b/os_timer.c	Fri Dec 22 15:06:27 2006 +0000
@@ -40,7 +40,7 @@
 #endif
 
 /* rdtsc for PPC which has this not */
-#if defined(__POWERPC__) && !defined(RDTSC_AVAILABLE)
+#if (defined(__POWERPC__) || defined(__powerpc__)) && !defined(RDTSC_AVAILABLE)
 uint64 _rdtsc(void)
 {
 	uint32 high = 0, high2 = 0, low;