1 #ifndef _XEN_ASM_TIME_H
2 #define _XEN_ASM_TIME_H
4 unsigned long xen_read_wallclock(void);
5 int xen_write_wallclock(unsigned long);
8 #ifdef CONFIG_XEN_PRIVILEGED_GUEST
9 int xen_update_wallclock(const struct timespec *);
11 static inline int xen_update_wallclock(const struct timespec *tv) {
16 #endif /* _XEN_ASM_TIME_H */
18 #include_next <asm/time.h>