pentium_cpuspeed  343 arch/i386/i386/machdep.c int	pentium_cpuspeed(int *);
pentium_cpuspeed 1786 arch/i386/i386/machdep.c 		cpu_cpuspeed = pentium_cpuspeed;