/* * (C) Copyright 2008 * Gary Jennejohn, DENX Software Engineering GmbH, garyj@denx.de. * * Based in part on board/icecube/icecube.c from PPCBoot * (C) Copyright 2003 Intrinsyc Software * * See file CREDITS for list of people who contributed to this * project. * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License as * published by the Free Software Foundation; either version 2 of * the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, * MA 02111-1307 USA */#include <common.h>#include <command.h>#include <malloc.h>#include <environment.h>#include <logbuff.h>#include <post.h>#include <asm/processor.h>#include <asm/io.h>#include <asm/gpio.h>DECLARE_GLOBAL_DATA_PTR;int board_early_init_f(void){	/* taken from PPCBoot */	mtdcr(uicsr, 0xFFFFFFFF);	/* clear all ints */	mtdcr(uicer, 0x00000000);	/* disable all ints */	mtdcr(uiccr, 0x00000000);	mtdcr(uicpr, 0xFFFF7FFE);	/* set int polarities */	mtdcr(uictr, 0x00000000);	/* set int trigger levels */	mtdcr(uicsr, 0xFFFFFFFF);	/* clear all ints */	mtdcr(uicvcr, 0x00000001);	/* set vect base=0,INT0 highest priority */	mtdcr(CPC0_SRR, 0x00040000);   /* Hold PCI bridge in reset */	return 0;}/* * Check Board Identity: */int checkboard(void){	char *s = getenv("serial#");#ifdef DISPLAY_BOARD_INFO	sys_info_t sysinfo;#endif	puts("Board: Quad100hd");	if (s != NULL) {		puts(", serial# ");		puts(s);	}	putc('\n');#ifdef DISPLAY_BOARD_INFO	/* taken from ppcboot */	get_sys_info(&sysinfo);	printf("\tVCO: %lu MHz\n", sysinfo.freqVCOMhz);	printf("\tCPU: %lu MHz\n", sysinfo.freqProcessor / 1000000);	printf("\tPLB: %lu MHz\n", sysinfo.freqPLB / 1000000);	printf("\tOPB: %lu MHz\n", sysinfo.freqOPB / 1000000);	printf("\tEPB: %lu MHz\n", sysinfo.freqPLB / (sysinfo.pllExtBusDiv *		1000000));	printf("\tPCI: %lu MHz\n", sysinfo.freqPCI / 1000000);#endif	return 0;}