1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright (c) 2006 Simtec Electronics 4 * Ben Dooks <ben@simtec.co.uk> 5 * 6 * Common code for SMDK2410 and SMDK2440 boards 7 * 8 * http://www.fluff.org/ben/smdk2440/ 9 */ 10 11 extern void smdk_machine_init(void); 12