1/* 2 * arch/arm/mach-ks8695/generic.h 3 * 4 * Copyright (C) 2006 Ben Dooks <ben@simtec.co.uk> 5 * Copyright (C) 2006 Simtec Electronics 6 * 7 * This program is free software; you can redistribute it and/or modify 8 * it under the terms of the GNU General Public License as published by 9 * the Free Software Foundation; either version 2 of the License, or 10 * (at your option) any later version. 11*/ 12 13extern __init void ks8695_map_io(void); 14extern __init void ks8695_init_irq(void); 15extern void ks8695_restart(char, const char *); 16extern struct sys_timer ks8695_timer; 17