diff options
author | Paul Mundt <lethal@linux-sh.org> | 2009-04-01 22:17:41 -0400 |
---|---|---|
committer | Paul Mundt <lethal@linux-sh.org> | 2009-04-01 22:17:41 -0400 |
commit | c4361bb64b81f5b81a7a08d58654493385a2f2b2 (patch) | |
tree | 8741c0b60ddfbc3fc4e17c8d200f6aa6ff32cca0 /arch/ia64/kernel/time.c | |
parent | 46368fa05164e1afdc1401294908cf30c6d8d981 (diff) | |
parent | 833bb3046b6cb320e775ea2160ddca87d53260d5 (diff) |
Merge branch 'master' of git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6
Diffstat (limited to 'arch/ia64/kernel/time.c')
-rw-r--r-- | arch/ia64/kernel/time.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/arch/ia64/kernel/time.c b/arch/ia64/kernel/time.c index f0ebb342409d..641c8b61c4f1 100644 --- a/arch/ia64/kernel/time.c +++ b/arch/ia64/kernel/time.c | |||
@@ -20,6 +20,7 @@ | |||
20 | #include <linux/efi.h> | 20 | #include <linux/efi.h> |
21 | #include <linux/timex.h> | 21 | #include <linux/timex.h> |
22 | #include <linux/clocksource.h> | 22 | #include <linux/clocksource.h> |
23 | #include <linux/platform_device.h> | ||
23 | 24 | ||
24 | #include <asm/machvec.h> | 25 | #include <asm/machvec.h> |
25 | #include <asm/delay.h> | 26 | #include <asm/delay.h> |
@@ -50,6 +51,15 @@ EXPORT_SYMBOL(last_cli_ip); | |||
50 | #endif | 51 | #endif |
51 | 52 | ||
52 | #ifdef CONFIG_PARAVIRT | 53 | #ifdef CONFIG_PARAVIRT |
54 | /* We need to define a real function for sched_clock, to override the | ||
55 | weak default version */ | ||
56 | unsigned long long sched_clock(void) | ||
57 | { | ||
58 | return paravirt_sched_clock(); | ||
59 | } | ||
60 | #endif | ||
61 | |||
62 | #ifdef CONFIG_PARAVIRT | ||
53 | static void | 63 | static void |
54 | paravirt_clocksource_resume(void) | 64 | paravirt_clocksource_resume(void) |
55 | { | 65 | { |
@@ -405,6 +415,21 @@ static struct irqaction timer_irqaction = { | |||
405 | .name = "timer" | 415 | .name = "timer" |
406 | }; | 416 | }; |
407 | 417 | ||
418 | static struct platform_device rtc_efi_dev = { | ||
419 | .name = "rtc-efi", | ||
420 | .id = -1, | ||
421 | }; | ||
422 | |||
423 | static int __init rtc_init(void) | ||
424 | { | ||
425 | if (platform_device_register(&rtc_efi_dev) < 0) | ||
426 | printk(KERN_ERR "unable to register rtc device...\n"); | ||
427 | |||
428 | /* not necessarily an error */ | ||
429 | return 0; | ||
430 | } | ||
431 | module_init(rtc_init); | ||
432 | |||
408 | void __init | 433 | void __init |
409 | time_init (void) | 434 | time_init (void) |
410 | { | 435 | { |