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 #else /* !CONFIG_PARAVIRT */
35 #define get_wallclock() native_get_wallclock()
36 #define set_wallclock(x) native_set_wallclock(x)
37 #define do_time_init() time_init_hook()
39 #endif /* CONFIG_PARAVIRT */