extern void time_init(void);
-#ifdef CONFIG_XEN
-struct timespec;
-extern int xen_independent_wallclock(void);
-extern void xen_read_persistent_clock(struct timespec *);
-extern int xen_update_persistent_clock(void);
-#endif
-
#endif /* _ASM_X86_TIME_H */