diff --git a/src/ppc64_cpu.c b/src/ppc64_cpu.c
index 87760d33..0eb65b43 100644
--- a/src/ppc64_cpu.c
+++ b/src/ppc64_cpu.c
@@ -1060,7 +1060,7 @@ static int do_cpu_frequency(int sleep_time)
 
 #else
 
-static int do_cpu_frequency(void)
+static int do_cpu_frequency(int sleep_time)
 {
 	printf("CPU Frequency determination is not supported on this "
 	       "platfom.\n");