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 #ifdef CONFIG_PARAVIRT
32 #include <asm/paravirt.h>
33 extern unsigned long long native_sched_clock(void);
34 #else /* !CONFIG_PARAVIRT */
36 #define get_wallclock() native_get_wallclock()
37 #define set_wallclock(x) native_set_wallclock(x)
38 #define do_time_init() time_init_hook()
40 #endif /* CONFIG_PARAVIRT */