1 #ifndef _ASMi386_TIME_H
2 #define _ASMi386_TIME_H
7 static inline unsigned long native_get_wallclock(void)
12 retval = efi_get_time();
14 retval = mach_get_cmos_time();
19 static inline int native_set_wallclock(unsigned long nowtime)
24 retval = efi_set_rtc_mmss(nowtime);
26 retval = mach_set_rtc_mmss(nowtime);
31 extern void (*late_time_init)(void);
32 extern void hpet_time_init(void);
34 #ifdef CONFIG_PARAVIRT
35 #include <asm/paravirt.h>
36 #else /* !CONFIG_PARAVIRT */
38 #define get_wallclock() native_get_wallclock()
39 #define set_wallclock(x) native_set_wallclock(x)
40 #define choose_time_init() hpet_time_init
42 #endif /* CONFIG_PARAVIRT */