| extern void hpet_time_init(void); |
| #include <asm/mc146818rtc.h> |
| static inline unsigned long native_get_wallclock(void) |
| retval = mach_get_cmos_time(); |
| static inline int native_set_wallclock(unsigned long nowtime) |
| retval = efi_set_rtc_mmss(nowtime); |
| retval = mach_set_rtc_mmss(nowtime); |
| extern void native_time_init_hook(void); |
| static inline unsigned long native_get_wallclock(void) |
| return mach_get_cmos_time(); |
| static inline int native_set_wallclock(unsigned long nowtime) |
| return mach_set_rtc_mmss(nowtime); |
| #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 */ |
| extern unsigned long __init calibrate_cpu(void); |