45 lines
807 B
C
45 lines
807 B
C
#ifndef _ASMi386_TIME_H
|
|
#define _ASMi386_TIME_H
|
|
|
|
#include <linux/efi.h>
|
|
#include "mach_time.h"
|
|
|
|
static inline unsigned long native_get_wallclock(void)
|
|
{
|
|
unsigned long retval;
|
|
|
|
if (efi_enabled)
|
|
retval = efi_get_time();
|
|
else
|
|
retval = mach_get_cmos_time();
|
|
|
|
return retval;
|
|
}
|
|
|
|
static inline int native_set_wallclock(unsigned long nowtime)
|
|
{
|
|
int retval;
|
|
|
|
if (efi_enabled)
|
|
retval = efi_set_rtc_mmss(nowtime);
|
|
else
|
|
retval = mach_set_rtc_mmss(nowtime);
|
|
|
|
return retval;
|
|
}
|
|
|
|
extern void (*late_time_init)(void);
|
|
extern void hpet_time_init(void);
|
|
|
|
#ifdef CONFIG_PARAVIRT
|
|
#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 */
|
|
|
|
#endif
|