| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 1 | #ifndef _ASMi386_TIME_H |
| 2 | #define _ASMi386_TIME_H |
| 3 | |
| 4 | #include <linux/efi.h> |
| 5 | #include "mach_time.h" |
| 6 | |
| 7 | static inline unsigned long native_get_wallclock(void) |
| 8 | { |
| 9 | unsigned long retval; |
| 10 | |
| 11 | if (efi_enabled) |
| 12 | retval = efi_get_time(); |
| 13 | else |
| 14 | retval = mach_get_cmos_time(); |
| 15 | |
| 16 | return retval; |
| 17 | } |
| 18 | |
| 19 | static inline int native_set_wallclock(unsigned long nowtime) |
| 20 | { |
| 21 | int retval; |
| 22 | |
| 23 | if (efi_enabled) |
| 24 | retval = efi_set_rtc_mmss(nowtime); |
| 25 | else |
| 26 | retval = mach_set_rtc_mmss(nowtime); |
| 27 | |
| 28 | return retval; |
| 29 | } |
| 30 | |
| 31 | #ifdef CONFIG_PARAVIRT |
| 32 | #include <asm/paravirt.h> |
| 33 | #else /* !CONFIG_PARAVIRT */ |
| 34 | |
| 35 | #define get_wallclock() native_get_wallclock() |
| 36 | #define set_wallclock(x) native_set_wallclock(x) |
| 37 | #define do_time_init() time_init_hook() |
| 38 | |
| 39 | #endif /* CONFIG_PARAVIRT */ |
| 40 | |
| 41 | #endif |