| /* linux/arch/arm/mach-exynos4/localtimer.c |
| * |
| * Cloned from linux/arch/arm/mach-realview/localtimer.c |
| * |
| * Copyright (C) 2002 ARM Ltd. |
| * All Rights Reserved |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * published by the Free Software Foundation. |
| */ |
| |
| #include <linux/clockchips.h> |
| |
| #include <asm/irq.h> |
| #include <asm/localtimer.h> |
| |
| /* |
| * Setup the local clock events for a CPU. |
| */ |
| void __cpuinit local_timer_setup(struct clock_event_device *evt) |
| { |
| evt->irq = IRQ_LOCALTIMER; |
| twd_timer_setup(evt); |
| } |