| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 | /* * arch/arm/mach-ks8695/board-micrel.c * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */#include <linux/gpio.h>#include <linux/kernel.h>#include <linux/types.h>#include <linux/interrupt.h>#include <linux/init.h>#include <linux/platform_device.h>#include <asm/mach-types.h>#include <asm/mach/arch.h>#include <asm/mach/map.h>#include <asm/mach/irq.h>#include <mach/gpio-ks8695.h>#include "devices.h"#include "generic.h"#ifdef CONFIG_PCIstatic int micrel_pci_map_irq(const struct pci_dev *dev, u8 slot, u8 pin){	return KS8695_IRQ_EXTERN0;}static struct ks8695_pci_cfg __initdata micrel_pci = {	.mode		= KS8695_MODE_MINIPCI,	.map_irq	= micrel_pci_map_irq,};#endifstatic void __init micrel_init(void){	printk(KERN_INFO "Micrel KS8695 Development Board initializing\n");	ks8695_register_gpios();#ifdef CONFIG_PCI	ks8695_init_pci(&micrel_pci);#endif	/* Add devices */	ks8695_add_device_wan();	/* eth0 = WAN */	ks8695_add_device_lan();	/* eth1 = LAN */}MACHINE_START(KS8695, "KS8695 Centaur Development Board")	/* Maintainer: Micrel Semiconductor Inc. */	.atag_offset	= 0x100,	.map_io		= ks8695_map_io,	.init_irq	= ks8695_init_irq,	.init_machine	= micrel_init,	.init_time	= ks8695_timer_init,	.restart	= ks8695_restart,MACHINE_END
 |