model->num_counters = cur_cpu_spec[cpu_id]->num_pmcs; 
model->num_counters = cur_cpu_spec->num_pmcs; 
int __init oprofile_arch_init(struct oprofile_operations *ops){#ifndef __powerpc64__	int cpu_id = smp_processor_id();#ifdef CONFIG_FSL_BOOKE	model = &op_model_fsl_booke;#else	return -ENODEV;#endif	cpu_type = kmalloc(32, GFP_KERNEL);	if (NULL == cpu_type)		return -ENOMEM;	sprintf(cpu_type, "ppc/%s", cur_cpu_spec[cpu_id]->cpu_name);	model->num_counters = cur_cpu_spec[cpu_id]->num_pmcs;	ops->cpu_type = cpu_type;#else /* __powerpc64__ */	if (!cur_cpu_spec->oprofile_model || !cur_cpu_spec->oprofile_cpu_type)		return -ENODEV;	model = cur_cpu_spec->oprofile_model;	model->num_counters = cur_cpu_spec->num_pmcs;	ops->cpu_type = cur_cpu_spec->oprofile_cpu_type;#endif /* __powerpc64__ */	ops->create_files = op_powerpc_create_files;	ops->setup = op_powerpc_setup;	ops->shutdown = op_powerpc_shutdown;	ops->start = op_powerpc_start;	ops->stop = op_powerpc_stop;	printk(KERN_INFO "oprofile: using %s performance monitoring.\n",	       ops->cpu_type);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/400d221274426958f1e1c7081a247bea9cede696/common.c/buggy/arch/powerpc/oprofile/common.c