| #ifndef _ASMi386_TIME_H |
| #define _ASMi386_TIME_H |
| |
| #include <linux/efi.h> |
| #include "mach_time.h" |
| |
| static inline unsigned long native_get_wallclock(void) |
| { |
| unsigned long retval; |
| |
| if (efi_enabled) |
| retval = efi_get_time(); |
| else |
| retval = mach_get_cmos_time(); |
| |
| return retval; |
| } |
| |
| static inline int native_set_wallclock(unsigned long nowtime) |
| { |
| int retval; |
| |
| if (efi_enabled) |
| retval = efi_set_rtc_mmss(nowtime); |
| else |
| retval = mach_set_rtc_mmss(nowtime); |
| |
| return retval; |
| } |
| |
| #ifdef CONFIG_PARAVIRT |
| #include <asm/paravirt.h> |
| extern unsigned long long native_sched_clock(void); |
| #else /* !CONFIG_PARAVIRT */ |
| |
| #define get_wallclock() native_get_wallclock() |
| #define set_wallclock(x) native_set_wallclock(x) |
| #define do_time_init() time_init_hook() |
| |
| #endif /* CONFIG_PARAVIRT */ |
| |
| #endif |