43 lines
785 B
C
43 lines
785 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;
|
|
}
|
|
|
|
#ifdef CONFIG_PARAVIRT
|
|
#include <asm/paravirt.h>
|
|
extern unsigned long long native_sched_clock(void);
|
|
#else /* !CONFIG_PARAVIRT */
|
|
|
|
#define get_wallclock() native_get_wallclock()
|
|
#define set_wallclock(x) native_set_wallclock(x)
|
|
#define do_time_init() time_init_hook()
|
|
|
|
#endif /* CONFIG_PARAVIRT */
|
|
|
|
#endif
|