/* TODO */ 
unsigned int i = 0; while (ppc_sys_specs[i].ppc_sys_name[0]) { if (!strcmp(ppc_sys_specs[i].ppc_sys_name, name)) break; i++; } cur_ppc_sys_spec = &ppc_sys_specs[i]; 
void __init identify_ppc_sys_by_name(char *name){	/* TODO */	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/88adfe70c667c9e8fe5ec68eba78af566b539e24/ppc_sys.c/buggy/arch/ppc/syslib/ppc_sys.c