mv64x60_mpsc_clk_freq = CPCI690_BUS_FREQ; 
mv64x60_mpsc_clk_freq = (get_mem_size() >= (1*GB)) ? 100000000 : 133333333; 
mv64x60_board_init(void __iomem *old_base, void __iomem *new_base){	mv64x60_console_baud = CPCI690_MPSC_BAUD;	mv64x60_mpsc_clk_src = CPCI690_MPSC_CLK_SRC;	mv64x60_mpsc_clk_freq = CPCI690_BUS_FREQ;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f54bef9e9c84c8dc656c55dc96c1da7b6d1c53d8/misc-cpci690.c/clean/arch/ppc/boot/simple/misc-cpci690.c