#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; } extern void (*late_time_init)(void); extern void hpet_time_init(void); #ifdef CONFIG_PARAVIRT #include <asm/paravirt.h> #else /* !CONFIG_PARAVIRT */ #define get_wallclock() native_get_wallclock() #define set_wallclock(x) native_set_wallclock(x) #define choose_time_init() hpet_time_init #endif /* CONFIG_PARAVIRT */ #endif