if (strcmp(cur_cpu_spec[0]->cpu_name, "440GP Rev. B") == 0) 
if (strcmp(cur_cpu_spec->cpu_name, "440GP Rev. B") == 0) 
ebony_calibrate_decr(void){	unsigned int freq;	/*	 * Determine system clock speed	 *	 * If we are on Rev. B silicon, then use	 * default external system clock.  If we are	 * on Rev. C silicon then errata forces us to	 * use the internal clock.	 */	if (strcmp(cur_cpu_spec[0]->cpu_name, "440GP Rev. B") == 0)		freq = EBONY_440GP_RB_SYSCLK;	else		freq = EBONY_440GP_RC_SYSCLK;	ibm44x_calibrate_decr(freq);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/400d221274426958f1e1c7081a247bea9cede696/ebony.c/buggy/arch/ppc/platforms/4xx/ebony.c