dump_cpu_info(smp_processor_id());  
static void __init setup_processor(void){	struct proc_info_list *list;	/*	 * locate processor in the list of supported processor	 * types.  The linker builds this table for us from the	 * entries in arch/arm/mm/proc-*.S	 */	list = lookup_processor_type();	if (!list) {		printk("CPU configuration botched (ID %08x), unable "		       "to continue.\n", processor_id);		while (1);	}	cpu_name = list->cpu_name;#ifdef MULTI_CPU	processor = *list->proc;#endif#ifdef MULTI_TLB	cpu_tlb = *list->tlb;#endif#ifdef MULTI_USER	cpu_user = *list->user;#endif#ifdef MULTI_CACHE	cpu_cache = *list->cache;#endif	printk("CPU: %s [%08x] revision %d (ARMv%s)\n",	       cpu_name, processor_id, (int)processor_id & 15,	       proc_arch[cpu_architecture()]);	dump_cpu_info(smp_processor_id());	sprintf(system_utsname.machine, "%s%c", list->arch_name, ENDIANNESS);	sprintf(elf_platform, "%s%c", list->elf_name, ENDIANNESS);	elf_hwcap = list->elf_hwcap;	cpu_proc_init();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ccea7a19e54349d4f40778304e1bb88da83d39e7/setup.c/clean/arch/arm/kernel/setup.c