1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * linux/arch/arm/mach-footbridge/personal.c 4 * 5 * Personal server (Skiff) machine fixup 6 */ 7 #include <linux/init.h> 8 #include <linux/spinlock.h> 9 10 #include <asm/hardware/dec21285.h> 11 #include <asm/mach-types.h> 12 13 #include <asm/mach/arch.h> 14 15 #include "common.h" 16 17 MACHINE_START(PERSONAL_SERVER, "Compaq-PersonalServer") 18 /* Maintainer: Jamey Hicks / George France */ 19 .atag_offset = 0x100, 20 .map_io = footbridge_map_io, 21 .init_irq = footbridge_init_irq, 22 .init_time = footbridge_timer_init, 23 .restart = footbridge_restart, 24 MACHINE_END 25 26