+extern int pmtimer_mark_offset(void);
+extern void pmtimer_resume(void);
+extern void pmtimer_wait(unsigned);
+extern unsigned int do_gettimeoffset_pm(void);
+#ifdef CONFIG_X86_PM_TIMER
+extern u32 pmtmr_ioport;
+#else
+#define pmtmr_ioport 0
+#endif
+extern unsigned long long monotonic_base;
+extern int sysctl_vsyscall;
+extern int nohpet;
+extern unsigned long vxtime_hz;
+extern void time_init_gtod(void);