return mv64x60_get_mem_size(CONFIG_MV64X60_NEW_BASE, MV64x60_TYPE_MV64360); 
bd_t *bdp = (bd_t *)__res; return bdp->bi_memsize; 
katana_find_end_of_memory(void){	return mv64x60_get_mem_size(CONFIG_MV64X60_NEW_BASE,		MV64x60_TYPE_MV64360);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f4c6cc8d1e2305796f7fdad52d83b88cea4d2276/katana.c/buggy/arch/ppc/platforms/katana.c