This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / mach-tegra / localtimer.c
blobe91d681d45a2d8593a49e3bf3406a173b2a250c2
1 /*
2 * arch/arm/mach-tegra/localtimer.c
4 * Copyright (C) 2002 ARM Ltd.
5 * All Rights Reserved
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
11 #include <linux/init.h>
12 #include <linux/smp.h>
13 #include <linux/clockchips.h>
14 #include <asm/irq.h>
15 #include <asm/smp_twd.h>
16 #include <asm/localtimer.h>
19 * Setup the local clock events for a CPU.
21 int __cpuinit local_timer_setup(struct clock_event_device *evt)
23 evt->irq = IRQ_LOCALTIMER;
24 twd_timer_setup(evt);
25 return 0;