#include <linux/mc146818rtc.h>
#include <asm/time.h>
+#include <asm/vsyscall.h>
#ifdef CONFIG_X86_32
# define CMOS_YEARS_OFFS 1900
{
return set_rtc_mmss(now.tv_sec);
}
+
+unsigned long long __vsyscall_fn native_read_tsc(void)
+{
+ DECLARE_ARGS(val, low, high);
+
+ asm volatile("rdtsc" : EAX_EDX_RET(val, low, high));
+ return EAX_EDX_VAL(val, low, high);
+}
+EXPORT_SYMBOL_GPL(native_read_tsc);
return err;
}
-static inline unsigned long long native_read_tsc(void)
-{
- DECLARE_ARGS(val, low, high);
-
- asm volatile("rdtsc" : EAX_EDX_RET(val, low, high));
- return EAX_EDX_VAL(val, low, high);
-}
+extern unsigned long long native_read_tsc(void);
static inline unsigned long long native_read_pmc(int counter)
{