| Thomas Gleixner | 2874c5f | 2019-05-27 08:55:01 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| Andrew Victor | c53c9cf | 2007-05-11 21:01:28 +0100 | [diff] [blame] | 2 | /* |
| 3 | * arch/arm/mach-ks8695/generic.h |
| 4 | * |
| 5 | * Copyright (C) 2006 Ben Dooks <ben@simtec.co.uk> |
| 6 | * Copyright (C) 2006 Simtec Electronics |
| Andrew Victor | c53c9cf | 2007-05-11 21:01:28 +0100 | [diff] [blame] | 7 | */ |
| 8 | |
| 9 | extern __init void ks8695_map_io(void); |
| 10 | extern __init void ks8695_init_irq(void); |
| Robin Holt | 7b6d864 | 2013-07-08 16:01:40 -0700 | [diff] [blame] | 11 | extern void ks8695_restart(enum reboot_mode, const char *); |
| Stephen Warren | 6bb27d7 | 2012-11-08 12:40:59 -0700 | [diff] [blame] | 12 | extern void ks8695_timer_init(void); |