if (smp_chrp_cpu_nr > 1) openpic_request_IPIs(); 
struct device_node *cpus = NULL; unsigned int *reg; int reglen; int ncpus = 0; int cpuid; unsigned int phys; 
static int __init smp_chrp_probe(void){	if (smp_chrp_cpu_nr > 1)		openpic_request_IPIs();	return smp_chrp_cpu_nr;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/80579e1f4a6b5f5dec92faa6c3e0645961c99091/smp.c/buggy/arch/powerpc/platforms/chrp/smp.c