1/* arch/arm/plat-samsung/include/plat/irq-vic-timer.h 2 * 3 * Copyright (c) 2010 Simtec Electronics 4 * Ben Dooks <ben@simtec.co.uk> 5 * 6 * Header file for Samsung SoC IRQ VIC timer 7 * 8 * This program is free software; you can redistribute it and/or modify 9 * it under the terms of the GNU General Public License version 2 as 10 * published by the Free Software Foundation. 11*/ 12 13extern void s3c_init_vic_timer_irq(unsigned int vic, unsigned int timer); 14