This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / kernel / time.c
blob1b4009fbf86dd5f3ff115ff5352a028f026c8892
1 /*
2 * linux/arch/arm/kernel/time.c
4 * Copyright (C) 1991, 1992, 1995 Linus Torvalds
5 * Modifications for ARM (C) 1994-2001 Russell King
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 * This file contains the ARM-specific time handling details:
12 * reading the RTC at bootup, etc...
14 #include <linux/export.h>
15 #include <linux/kernel.h>
16 #include <linux/interrupt.h>
17 #include <linux/time.h>
18 #include <linux/init.h>
19 #include <linux/sched.h>
20 #include <linux/smp.h>
21 #include <linux/timex.h>
22 #include <linux/errno.h>
23 #include <linux/profile.h>
24 #include <linux/syscore_ops.h>
25 #include <linux/timer.h>
26 #include <linux/irq.h>
28 #include <linux/mc146818rtc.h>
30 #include <asm/leds.h>
31 #include <asm/thread_info.h>
32 #include <asm/sched_clock.h>
33 #include <asm/stacktrace.h>
34 #include <asm/mach/arch.h>
35 #include <asm/mach/time.h>
38 * Our system timer.
40 static struct sys_timer *system_timer;
42 #if defined(CONFIG_RTC_DRV_CMOS) || defined(CONFIG_RTC_DRV_CMOS_MODULE)
43 /* this needs a better home */
44 DEFINE_SPINLOCK(rtc_lock);
46 #ifdef CONFIG_RTC_DRV_CMOS_MODULE
47 EXPORT_SYMBOL(rtc_lock);
48 #endif
49 #endif /* pc-style 'CMOS' RTC support */
51 /* change this if you have some constant time drift */
52 #define USECS_PER_JIFFY (1000000/HZ)
54 #ifdef CONFIG_SMP
55 unsigned long profile_pc(struct pt_regs *regs)
57 struct stackframe frame;
59 if (!in_lock_functions(regs->ARM_pc))
60 return regs->ARM_pc;
62 frame.fp = regs->ARM_fp;
63 frame.sp = regs->ARM_sp;
64 frame.lr = regs->ARM_lr;
65 frame.pc = regs->ARM_pc;
66 do {
67 int ret = unwind_frame(&frame);
68 if (ret < 0)
69 return 0;
70 } while (in_lock_functions(frame.pc));
72 return frame.pc;
74 EXPORT_SYMBOL(profile_pc);
75 #endif
77 #ifdef CONFIG_ARCH_USES_GETTIMEOFFSET
78 u32 arch_gettimeoffset(void)
80 if (system_timer->offset != NULL)
81 return system_timer->offset() * 1000;
83 return 0;
85 #endif /* CONFIG_ARCH_USES_GETTIMEOFFSET */
87 #ifdef CONFIG_LEDS_TIMER
88 static inline void do_leds(void)
90 static unsigned int count = HZ/2;
92 if (--count == 0) {
93 count = HZ/2;
94 leds_event(led_timer);
97 #else
98 #define do_leds()
99 #endif
102 #ifndef CONFIG_GENERIC_CLOCKEVENTS
104 * Kernel system timer support.
106 void timer_tick(void)
108 profile_tick(CPU_PROFILING);
109 do_leds();
110 xtime_update(1);
111 #ifndef CONFIG_SMP
112 update_process_times(user_mode(get_irq_regs()));
113 #endif
115 #endif
117 #if defined(CONFIG_PM) && !defined(CONFIG_GENERIC_CLOCKEVENTS)
118 static int timer_suspend(void)
120 if (system_timer->suspend)
121 system_timer->suspend();
123 return 0;
126 static void timer_resume(void)
128 if (system_timer->resume)
129 system_timer->resume();
131 #else
132 #define timer_suspend NULL
133 #define timer_resume NULL
134 #endif
136 static struct syscore_ops timer_syscore_ops = {
137 .suspend = timer_suspend,
138 .resume = timer_resume,
141 static int __init timer_init_syscore_ops(void)
143 register_syscore_ops(&timer_syscore_ops);
145 return 0;
148 device_initcall(timer_init_syscore_ops);
150 void __init time_init(void)
152 system_timer = machine_desc->timer;
153 system_timer->init();
154 #ifdef CONFIG_HAVE_SCHED_CLOCK
155 sched_clock_postinit();
156 #endif