4 extern void (*late_time_init
)(void);
5 extern void hpet_time_init(void);
7 #include <asm/mc146818rtc.h>
11 static inline unsigned long native_get_wallclock(void)
16 retval
= efi_get_time();
18 retval
= mach_get_cmos_time();
23 static inline int native_set_wallclock(unsigned long nowtime
)
28 retval
= efi_set_rtc_mmss(nowtime
);
30 retval
= mach_set_rtc_mmss(nowtime
);
36 extern void native_time_init_hook(void);
38 static inline unsigned long native_get_wallclock(void)
40 return mach_get_cmos_time();
43 static inline int native_set_wallclock(unsigned long nowtime
)
45 return mach_set_rtc_mmss(nowtime
);
50 #ifdef CONFIG_PARAVIRT
51 #include <asm/paravirt.h>
52 #else /* !CONFIG_PARAVIRT */
54 #define get_wallclock() native_get_wallclock()
55 #define set_wallclock(x) native_set_wallclock(x)
56 #define choose_time_init() hpet_time_init
58 #endif /* CONFIG_PARAVIRT */