mirror of
https://github.com/edk2-porting/linux-next.git
synced 2024-12-30 16:13:54 +08:00
114c19b7b5
Hook these platforms restart code into the new restart hook rather than using arch_reset(). Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
63 lines
1.4 KiB
C
63 lines
1.4 KiB
C
/*
|
|
* 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 <mach/devices.h>
|
|
|
|
#include "generic.h"
|
|
|
|
#ifdef CONFIG_PCI
|
|
static 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,
|
|
};
|
|
#endif
|
|
|
|
|
|
static 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,
|
|
.timer = &ks8695_timer,
|
|
.restart = ks8695_restart,
|
|
MACHINE_END
|