/* * arch/ppc/platforms/cpci405.c * * Board setup routines for the esd CPCI-405 cPCI Board. * * Author: Stefan Roese *         stefan.roese@esd-electronics.com * * Copyright 2001 esd electronic system design - hannover germany * * 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. * *	History: 11/09/2001 - armin *       added board_init to add in additional instuctions needed during platfrom_init * */#include <linux/config.h>#include <linux/init.h>#include <linux/pci.h>#include <asm/system.h>#include <asm/pci-bridge.h>#include <asm/machdep.h>#include <asm/todc.h>/* * Some IRQs unique to CPCI-405. */int __initppc405_map_irq(struct pci_dev *dev, unsigned char idsel, unsigned char pin){	static char pci_irq_table[][4] =	/*	 *      PCI IDSEL/INTPIN->INTLINE	 *      A       B       C       D	 */	{		{28,	28,	28,	28},	/* IDSEL 15 - cPCI slot 8 */		{29,	29,	29,	29},	/* IDSEL 16 - cPCI slot 7 */		{30,	30,	30,	30},	/* IDSEL 17 - cPCI slot 6 */		{27,	27,	27,	27},	/* IDSEL 18 - cPCI slot 5 */		{28,	28,	28,	28},	/* IDSEL 19 - cPCI slot 4 */		{29,	29,	29,	29},	/* IDSEL 20 - cPCI slot 3 */		{30,	30,	30,	30},	/* IDSEL 21 - cPCI slot 2 */        };	const long min_idsel = 15, max_idsel = 21, irqs_per_slot = 4;	return PCI_IRQ_TABLE_LOOKUP;};void __initboard_setup_arch(void){}void __initboard_io_mapping(void){}void __initboard_setup_irq(void){}void __initboard_init(void){#ifdef CONFIG_PPC_RTC	ppc_md.time_init = todc_time_init;	ppc_md.set_rtc_time = todc_set_rtc_time;	ppc_md.get_rtc_time = todc_get_rtc_time;	ppc_md.nvram_read_val = todc_direct_read_val;	ppc_md.nvram_write_val = todc_direct_write_val;#endif}