--- src/cpu/cpu.h	2007/09/05 17:46:52	5
+++ src/cpu/cpu.h	2007/09/05 18:04:11	6
@@ -48,6 +48,6 @@
 void	ppc_cpu_set_msr(int cpu, uint32 newvalue);
 void	ppc_cpu_set_pc(int cpu, uint32 newvalue);
 uint32	ppc_cpu_get_pc(int cpu);
-uint32	ppc_cpu_get_pvr(int cpu);
+uint32	ppc_cpu_get_pvr(int cpu);	// FIXME Doesn't need cpu?
 
 #endif